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.

diff --git a/update-pciids.sh b/update-pciids.sh
index feef7498148209f2e6d01948cd9ddaf54ac2de05..5e771090ac001fb92b816d5d00eacdab6b83d524 100755 (executable)
--- a/update-pciids.sh
+++ b/update-pciids.sh
@@ -15,7 +15,7 @@ if ! touch ${DEST} >/dev/null 2>&1 ; then
        exit 1
 fi
 
-if [ -n "$PCI_COMPRESSED_IDS" ] ; then
+if [ "$PCI_COMPRESSED_IDS" -eq 1 ] ; then
        DECOMP="cat"
        SRC="$SRC.gz"
        GREP=zgrep