diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -37,7 +37,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 $? @@ -59,7 +59,7 @@ STRGEN="strgen$EXE" ENDIAN_CHECK="endian_check$EXE" if [ -z "$sort" ]; then - PIPE_SORT="sed s/a/a/" + PIPE_SORT="sed s~a~a~" else PIPE_SORT="$sort" fi @@ -123,7 +123,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 |