From 7302cdd4bd7329a1e0999cab2e53954a5129d280 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 20 May 2017 05:10:43 +0200
Subject: configure: add --reconfigure to config.status

---
 configure | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'configure')

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