From 50a39c081be7418884776401a43ad7ce49a9ac3f Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Sun, 24 Oct 2010 10:17:55 +0200
Subject: [PATCH] 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/update-pciids.sh b/update-pciids.sh
index feef749..5e77109 100755
--- 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
-- 
2.39.2