configure
changeset 10220 64461831f72d
parent 10059 7a8d30d55bdc
child 10239 cf55a4c21e7f
--- a/configure	Sun Oct 05 18:42:59 2008 +0000
+++ b/configure	Mon Oct 06 17:05:44 2008 +0000
@@ -37,7 +37,7 @@
 		exit 1
 	fi
 	# Make sure we don't lock config.cache
-	cat config.cache | sed 's/\\ /\\\\ /g' > cache.tmp
+	cat config.cache | sed 's#\\ #\\\\ #g' > cache.tmp
 	sh cache.tmp
 	rm -f cache.tmp
 	exit $?