X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=configure.in;h=91c88880b969084e3e1633e38e2a46cc30fb4bb2;hb=58cd074c23701c28549f8ae3004e43a9b6d473a5;hp=4042863c9d8ff2960873a34d64cde2333f1acd4d;hpb=bfd5b8771156d3728cc84af6139e76d0c4c97bb0;p=fw%2Fsdcc diff --git a/configure.in b/configure.in index 4042863c..91c88880 100755 --- a/configure.in +++ b/configure.in @@ -156,7 +156,7 @@ case ifelse($2,,"[$]$1",$2) in # - convert the first slash # - replace a slash with a double-backslash # *\\*) $1=`echo "[$]$1" | sed 's,\(.\)[[\\/]][[\\/]]*,\1\\\\,g'` ;; - *\\*) $1=`echo "[$]$1" | sed 's,[[\\/]][[\\/]]*,\1\\\\\\\\,g'` ;; + *\\*) $1=`echo "[$]$1" | sed 's,[[\\/]][[\\/]]*,\\\\\\\\,g'` ;; # if the path contains slashes, also turn backslashes into slashes *) $1=`echo "[$]$1" | sed 's,\(.\)[[\\/]][[\\/]]*,\1/,g'` ;;