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