|
|
|
@ -1,11 +1,11 @@ |
|
|
|
--- ./lib/configure.orig 2007-05-17 20:50:22.000000000 +0200
|
|
|
|
+++ ./lib/configure 2007-05-17 20:50:36.000000000 +0200
|
|
|
|
@@ -112,7 +112,7 @@
|
|
|
|
echo "$zlib (set manually)" |
|
|
|
--- ./lib/configure
|
|
|
|
+++ ./lib/configure
|
|
|
|
@@ -138,7 +138,7 @@
|
|
|
|
echo "$ZLIB (set manually)" |
|
|
|
else |
|
|
|
if [ -f /usr/include/zlib.h ] ; then |
|
|
|
- zlib=yes
|
|
|
|
+ zlib=no # force unziped pci.ids file
|
|
|
|
if [ -f /usr/include/zlib.h -o -f /usr/local/include/zlib.h ] ; then |
|
|
|
- ZLIB=yes
|
|
|
|
+ ZLIB=no # force unziped pci.ids file
|
|
|
|
else |
|
|
|
zlib=no |
|
|
|
ZLIB=no |
|
|
|
fi |