jmc 720f41ede6 Force makeerrnos.sh to be run with sh instead of depending on it being ... executable		2001-12-02 08:41:14 +00:00
..
Makefile	…
dump.c	…
makeerrnos.sh	…