1 files changed, 3 insertions, 2 deletions
diff --git a/configure b/configure
index 042fc1080..bb60b3ee7 100755
--- a/configure
+++ b/configure
@@ -228,12 +228,13 @@ echo "#! /bin/sh"
 echo "# Generated by configure."
 echo "# Run this file to recreate the current configuration."
 echo
-echo "# Generated by:"
-echo $echon "# $progname"$echoc
+echo 'if [ x"$1" = x"--reconfigure" ]; then'
+echo $echon "   exec $progname"$echoc
 for opt do
   echo $echon \ \"$opt\"$echoc
 done
 echo
+echo 'fi'
 echo
 echo subst_vars=\"$subst_vars\"
 for v in $subst_vars; do