config.lib
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;'`