diff -r dac540e2dbd1 -r 94d98c7015ce configure --- 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