Makefile.in
changeset 8785 6b55b86eeff8
parent 8274 db7597912df7
child 9298 10cc77a17caa
--- a/Makefile.in	Mon Jan 14 20:06:18 2008 +0000
+++ b/Makefile.in	Mon Jan 14 20:30:05 2008 +0000
@@ -79,7 +79,7 @@
 	@echo " Going to reconfigure with last known settings..."
 	@echo "----------------"
 # Make sure we don't lock config.cache
-	@$(shell cat config.cache) || exit 1
+	@$(shell cat config.cache | sed 's/\\ /\\\\ /g') || exit 1
 	@echo "----------------"
 	@echo "Reconfig done. Now compiling..."
 	@echo "----------------"