diff options
Diffstat (limited to 'config.lib')
-rw-r--r-- | config.lib | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config.lib b/config.lib index f3d0b6709..5eb89396e 100644 --- a/config.lib +++ b/config.lib @@ -275,7 +275,7 @@ save_params() { 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;'` |