diff -r 7959ee2ab55a -r cb94a44f0e29 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