diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -25,8 +25,9 @@ if [ "$1" = "--reconfig" ]; then 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 |