mirror of
https://git.FreeBSD.org/src.git
synced 2025-02-02 17:08:56 +00:00
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.