e1a4e3fa37
OLD_OPT = NEW_OPT in options* files will now map OLD_OPT to NEW_OPT with a friendly message. This is indented for situations where we need to preserve an interface in the config file in an upwards compatible fashion on a stable branch. Reviewed by: nwhitehorn@ MFC after: 3 days |
||
---|---|---|
.. | ||
SMM.doc | ||
config.5 | ||
config.8 | ||
config.h | ||
config.y | ||
configvers.h | ||
kernconf.tmpl | ||
lang.l | ||
main.c | ||
Makefile | ||
mkheaders.c | ||
mkmakefile.c | ||
mkoptions.c |