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 f00f3ccce..c2cf0bf2d 100644 --- a/Makefile.in +++ b/Makefile.in @@ -93,7 +93,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 "----------------" |