e3eacaf57f
'makeoptions KERNEL=kernelname'. Warn about any trailing stuff as it's not handled here. This is a simple bandaid, hopefully to head off some complaints from certain people. |
||
---|---|---|
.. | ||
SMM.doc | ||
config.8 | ||
config.h | ||
config.y | ||
configvers.h | ||
lang.l | ||
main.c | ||
Makefile | ||
mkheaders.c | ||
mkioconf.c | ||
mkmakefile.c | ||
mkoptions.c |