diff options
| -rw-r--r-- | config.lib | 4 | ||||
| -rwxr-xr-x | configure | 5 |
2 files changed, 5 insertions, 4 deletions
diff --git a/config.lib b/config.lib index 0dfafc82b..4b973fa80 100644 --- a/config.lib +++ b/config.lib @@ -257,10 +257,10 @@ save_params() { configure="$0 --ignore-extra-parameters" for p in $save_params_array; do - eval "v=\$$p" + eval "v=\"\$$p\"" p=`echo "$p" | sed 's/_/-/g;s/\n//g;'` # Only save those params that aren't empty - configure="$configure --$p=$v" + configure="$configure --$p=\"$v\"" done echo "$configure" >> $config_log @@ -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 |