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 "----------------"