61ede7eeac
Don't keep duplicate files in the files list just to mark the device as "known" later. XXX: Since the device list isn't unique (there can be two "device foo" directives, as this the case with LINT+DEFAULTS), we have to traverse it all to mark all copies of the same device as "used", but this is not worse than it was. |
||
---|---|---|
.. | ||
SMM.doc | ||
config.5 | ||
config.8 | ||
config.h | ||
config.y | ||
configvers.h | ||
lang.l | ||
main.c | ||
Makefile | ||
mkheaders.c | ||
mkmakefile.c | ||
mkoptions.c |