config.lib
changeset 6082 dc7b5c71799f
parent 6081 57d2fa5e3073
child 6189 7418216ee28a
--- a/config.lib	Mon Feb 19 19:59:19 2007 +0000
+++ b/config.lib	Mon Feb 19 20:10:46 2007 +0000
@@ -341,7 +341,11 @@
 	check_cxx_build
 	check_cxx_host
 	check_windres
-	check_strip
+	if [ "$enable_strip" != "0" ]; then
+		check_strip
+	else
+		log 1 "checking strip... disabled"
+	fi
 	check_lipo
 	check_makedepend