]> mj.ucw.cz Git - pciutils.git/commit
update-pciids: Be more friendly to people who tweak the settings
authorMartin Mares <mj@ucw.cz>
Sun, 24 Oct 2010 08:17:55 +0000 (10:17 +0200)
committerMartin Mares <mj@ucw.cz>
Sun, 24 Oct 2010 08:17:55 +0000 (10:17 +0200)
commit50a39c081be7418884776401a43ad7ce49a9ac3f
treeb3fcd980b81427aeeb63a6549bc96a8314621327
parent6bc2bc1c3ba163d1d11d2c4f6465b32f352bc77f
update-pciids: Be more friendly to people who tweak the settings

If somebody changes PCI_COMPRESSED_IDS to 0 manually, honor this
setting.

Suggested by Guido Trentalancia.
update-pciids.sh