garbled 1f3a06f4fd Find a bunch of places where we call "make" and replace it with ${MAKE}		2000-10-26 04:53:56 +00:00
..
ramdiskcommon	G.C.	2000-09-18 07:25:42 +00:00
ramdiskeb	Find a bunch of places where we call "make" and replace it with ${MAKE}	2000-10-26 04:53:56 +00:00
ramdiskel	Find a bunch of places where we call "make" and replace it with ${MAKE}	2000-10-26 04:53:56 +00:00
list2sh.awk
Makefile.inc
runlist.sh