configure
changeset 5560 94d98c7015ce
parent 5558 4bceae3ff866
child 5589 dce11622ab6a
--- 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