Makefile.in
changeset 8289 6eaeffc28704
parent 7778 7f7ca1de4167
child 8802 ae744f9e396a
--- 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 "----------------"