configure: do not use exec in config.status

With bash 3.2, exec always pass the absolute path of the command in argv[0],
making config.status --reconfigure non idempotent.

For #365

1 files changed, 3 insertions, 1 deletions

diff --git a/configure b/configure
index c0e1489b1..30c6d65b3 100755
--- a/configure
+++ b/configure
@@ -233,11 +233,13 @@ echo "# Generated by configure."
 echo "# Run this file to recreate the current configuration."
 echo
 echo 'if [ x"$1" = x"--reconfigure" ]; then'
-echo $echon "   exec $progname"$echoc
+#  Do not use exec as bash 3.2 pass the absolute path in argv[0]
+echo $echon "   $progname"$echoc
 for opt do
   echo $echon \ \"$opt\"$echoc
 done
 echo
+echo "  exit"
 echo 'fi'
 echo
 echo subst_vars=\"$subst_vars\"