From 9c7003ffd8cd985a2d2be5c38a78f6e1d0a66581 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 8 Jun 2017 05:52:37 +0200
Subject: 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
---
 configure | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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\"
-- 
cgit v1.2.3