fix a bug with bash replacement in configure

1 files changed, 3 insertions, 3 deletions

diff --git a/configure b/configure
index 861b37f..15b52cf 100755
--- a/configure
+++ b/configure
@@ -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