changeset 10220 | 64461831f72d |
parent 10059 | 7a8d30d55bdc |
child 10239 | cf55a4c21e7f |
--- a/configure Sun Oct 05 18:42:59 2008 +0000 +++ b/configure Mon Oct 06 17:05:44 2008 +0000 @@ -37,7 +37,7 @@ exit 1 fi # Make sure we don't lock config.cache - cat config.cache | sed 's/\\ /\\\\ /g' > cache.tmp + cat config.cache | sed 's#\\ #\\\\ #g' > cache.tmp sh cache.tmp rm -f cache.tmp exit $?