config.lib
changeset 5756 a3db951ee245
parent 5754 5ecc9be438f0
child 5766 e033864e67c3
--- a/config.lib	Wed Jan 03 14:42:08 2007 +0000
+++ b/config.lib	Wed Jan 03 16:36:36 2007 +0000
@@ -1672,7 +1672,12 @@
 		fi
 	else
 		# Make sure it exists
-		zlib=`ls $with_zlib 2>/dev/null`
+		if [ -f "$zlib" ]
+		then
+			zlib=`ls $with_zlib 2>/dev/null`
+		else
+			zlib=`ls $with_zlib/libz.a 2>/dev/null`
+		fi
 	fi
 
 	if [ -z "$zlib" ]