configure
changeset 5811 cb94a44f0e29
parent 5809 cd61f8b74f7d
child 5840 a1dba7cd499c
--- a/configure	Sun Jan 07 13:00:56 2007 +0000
+++ b/configure	Sun Jan 07 13:13:01 2007 +0000
@@ -25,8 +25,9 @@
 		exit 1
 	fi
 	# Make sure we don't lock config.cache
-	configure=`cat config.cache`
-	$configure
+	cat config.cache > cache.tmp
+	sh cache.tmp
+	rm -f cache.tmp
 	exit $?
 fi