configure
changeset 10239 cf55a4c21e7f
parent 10220 64461831f72d
child 10333 e10b4216f9ba
--- a/configure	Tue Oct 14 19:27:08 2008 +0000
+++ b/configure	Tue Oct 14 19:47:28 2008 +0000
@@ -37,7 +37,7 @@
 		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 @@
 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 @@
 
 # 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