+
+if test -z "$*"; then
+ echo "warning: about to run \`./configure' without arguments."
+ echo "arguments on the \`$0\'"
+ echo "command line will be passed to \`./configure'."
+ echo
+fi
+
+echo Running $srcdir/configure $conf_flags "$@" ...
+$srcdir/configure $conf_flags "$@"