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 e3ea02e6a..d23a12ea5 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 "----------------" |