configure
changeset 8785 6b55b86eeff8
parent 8576 e11e6355f53c
child 10175 1119f6640ee6
--- a/configure	Mon Jan 14 20:06:18 2008 +0000
+++ b/configure	Mon Jan 14 20:30:05 2008 +0000
@@ -37,7 +37,7 @@
 		exit 1
 	fi
 	# Make sure we don't lock config.cache
-	cat config.cache > cache.tmp
+	cat config.cache | sed 's/\\ /\\\\ /g' > cache.tmp
 	sh cache.tmp
 	rm -f cache.tmp
 	exit $?