equal
deleted
inserted
replaced
255 echo "Running configure with following options:" >> $config_log |
255 echo "Running configure with following options:" >> $config_log |
256 echo "" >> $config_log |
256 echo "" >> $config_log |
257 |
257 |
258 configure="$0 --ignore-extra-parameters" |
258 configure="$0 --ignore-extra-parameters" |
259 for p in $save_params_array; do |
259 for p in $save_params_array; do |
260 eval "v=\$$p" |
260 eval "v=\"\$$p\"" |
261 p=`echo "$p" | sed 's/_/-/g;s/\n//g;'` |
261 p=`echo "$p" | sed 's/_/-/g;s/\n//g;'` |
262 # Only save those params that aren't empty |
262 # Only save those params that aren't empty |
263 configure="$configure --$p=$v" |
263 configure="$configure --$p=\"$v\"" |
264 done |
264 done |
265 |
265 |
266 echo "$configure" >> $config_log |
266 echo "$configure" >> $config_log |
267 echo "$configure" > config.cache |
267 echo "$configure" > config.cache |
268 echo "" >> $config_log |
268 echo "" >> $config_log |