K 10 svn:author V 2 jb K 8 svn:date V 27 1998-09-01T00:11:02.000000Z K 7 svn:log V 228 Change BINFORMAT to KERNFORMAT and add -aout or -elf to the tool arguments as appropriate. This is necessary because setting OBJFORMAT=aout in the makefile doesn't get exported to the environment. I wish our make could do that! END