diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -47,7 +47,7 @@ if [ "$1" = "--reconfig" ] || [ "$1" = "--reconfigure" ]; then 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 $? @@ -70,7 +70,7 @@ ENDIAN_CHECK="endian_check$EXE" DEPEND="depend$EXE" if [ -z "$sort" ]; then - PIPE_SORT="sed s~a~a~" + PIPE_SORT="sed s@a@a@" else PIPE_SORT="$sort" fi @@ -136,7 +136,7 @@ SRCS="` echo \"$SRCS\" | $awk ' { ORS = " " } { print $0; }'`" # In makefiles, we always use -u for sort if [ -z "$sort" ]; then - sort="sed s~a~a~" + sort="sed s@a@a@" else sort="$sort -u" fi |