add dist to makefiles

1 files changed, 4 insertions, 4 deletions

diff --git a/configure b/configure
index 6542e59..69fcd32 100755
--- a/configure
+++ b/configure
@@ -71,11 +71,11 @@ 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'`
+		#var=`echo "$var" | sed 's@:@\\:@g'`
+		#val=`echo "$val" | sed 's@:@\\:@g'`
 	
 	echo "s:@$var@:$val:g" >> var.sed
 done