diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index cc212b1c5..e3ea02e6a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -91,7 +91,7 @@ ifeq ($(shell if test -f config.cache; then echo 1; fi), 1) @echo " Going to reconfigure with last known settings..." @echo "----------------" # Make sure we don't lock config.cache - @$(shell cat config.cache | sed 's/\\ /\\\\ /g') || exit 1 + @$(shell cat config.cache | sed 's#\\ #\\\\ #g') || exit 1 @echo "----------------" @echo "Reconfig done. Please re-execute make." @echo "----------------" |