+
+if test -z "$*"; then
+ cat <<EOF
+ Warning: about to run \`configure' without arguments.
+ arguments on the \`$0' command line
+ will be passed to \`configure'.
+
+ Invoke with --noconfigure to skip configure step.
+EOF
+fi
+
+echo Running $srcdir/configure $conf_flags "$@" ...
+$srcdir/configure $conf_flags "$@"