mirror of
https://git.hardenedbsd.org/hardenedbsd/HardenedBSD.git
synced 2025-01-11 17:04:19 +01: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 |