From 94a855ee63bc2fc63a16e882eee1453877bf0bbc Mon Sep 17 00:00:00 2001
From: Kaz Kylheku <kaz@kylheku.com>
Date: Wed, 5 May 2021 19:29:02 -0700
Subject: configure: reconfigure: add "$@" to configure line.

* configure: Allow the conveninence of additional parameters
to be passed through reconfigure, to tweak the previous
configuration.
---
 configure | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index 1a54afec..6e1351eb 100755
--- a/configure
+++ b/configure
@@ -3738,9 +3738,9 @@ printf "done\n"
 cat > reconfigure <<!
 #!/bin/sh
 #
-# Configured on $(date) using:
+# Configured on $(date) using these parameters:
 
-$cmdline
+$cmdline "\$@"
 
 !
 #
-- 
cgit v1.2.3