diff options
| -rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -72,8 +72,8 @@ for var in $vars; do val=${!var1} # GNU bash optimized version - var=${var//':'/'\:'} - val=${val//':'/'\:'} + var=${var//:/\\:} + val=${val//:/\\:} # POSIX version #var=`echo "$var" | sed 's@:@\\:@g'` #val=`echo "$val" | sed 's@:@\\:@g'` @@ -89,7 +89,7 @@ for orig in $Makefiles; do path=`dirname "$orig"` mkdir -p `dirname "$new"` sed -f var.sed "${orig}" | sed \ --e "s:@srcdir@:${path//':'/'\:'}/:g" \ +-e "s:@srcdir@:${path//:/\\:}/:g" \ -e '19 a# DO NOT edit this file, it has been generated by configure, and will' \ -e "19 a# be overwritten. Instead, edit the file \``basename ${orig}`'" \ -e "19 a |