Makefile.in
branchNewGRF_ports
changeset 6872 1c4a4a609f85
parent 6871 5a9dc001e1ad
child 10184 fcf5fb2548eb
--- a/Makefile.in	Mon Dec 03 23:39:38 2007 +0000
+++ b/Makefile.in	Tue Jan 22 21:00:30 2008 +0000
@@ -81,7 +81,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 "----------------"