config.lib
branchnoai
changeset 9623 ee0173281563
parent 9621 7654501cf02d
child 9624 b71483f2330f
--- a/config.lib	Thu May 10 15:08:55 2007 +0000
+++ b/config.lib	Fri May 11 15:13:08 2007 +0000
@@ -680,7 +680,7 @@
 		LDFLAGS="$LDFLAGS -pg"
 	fi
 
-	if [ "$with_threads" == "0" ]; then
+	if [ "$with_threads" = "0" ]; then
 		CFLAGS="$CFLAGS -DNO_THREADS"
 	fi