configure: reconfigure: add "$@" to configure line.

* configure: Allow the conveninence of additional parameters
to be passed through reconfigure, to tweak the previous
configuration.

1 files changed, 2 insertions, 2 deletions

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 "\$@"
 
 !
 #