mirror of
https://github.com/freebsd/freebsd-src
synced 2024-09-30 13:44:55 +00:00
ef354ff70d
'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 |