obrien 9b94427a55 Fix this so it is a Makefile and not a shell script -- now issuing `make' ...

a second time does not rebuild the binary.

2000-08-04 08:30:00 +00:00

..

include

…

lib

…

loader

Fix this so it is a Makefile and not a shell script -- now issuing `make'

2000-08-04 08:30:00 +00:00

Makefile

…

Makefile.inc

…