changeset 6246 | 75451000349d |
parent 6244 | 14efce228eae |
child 6249 | e3e0d224edf9 |
--- a/config.lib Tue Mar 06 23:27:14 2007 +0000 +++ b/config.lib Tue Mar 06 23:42:30 2007 +0000 @@ -275,7 +275,7 @@ echo "Running configure with following options:" >> $config_log echo "" >> $config_log - configure="$0 --ignore-extra-parameters" + configure="$CONFIGURE_EXECUTABLE --ignore-extra-parameters" for p in $save_params_array; do eval "v=\"\$$p\"" p=`echo "$p" | sed 's/_/-/g;s/\n//g;'`