configure
changeset 8289 6eaeffc28704
parent 8080 6927201dcff3
child 8934 f46812d21fe6
--- 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 $?