From f9328e981693685e30f64d99ccb5bc8658f26411 Mon Sep 17 00:00:00 2001
From: Karl Heuer <kwzh@gnu.org>
Date: Mon, 19 Sep 1994 18:15:11 +0000
Subject: [PATCH] (config_options): Save all arguments, not just some.

---
 configure1.in | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/configure1.in b/configure1.in
index c11f88ac645..1494a91fa43 100755
--- a/configure1.in
+++ b/configure1.in
@@ -147,7 +147,7 @@ done
 ### However, it also turns out that many shells cannot expand ${10} at all.
 ### So using an index variable doesn't work either.  It is possible to use
 ### some shell magic to make 'set x "$arguments"; shift' work portably.
-config_options=
+config_options="$*"
 while [ $# != 0 ]; do
   arg="$1"; shift
   case "${arg}" in
@@ -162,7 +162,6 @@ while [ $# != 0 ]; do
 	  valomitted=no
 	;;
         -*)
-	  config_options="${config_options} ${arg}"
           ## If FOO is a boolean argument, --FOO is equivalent to
           ## --FOO=yes.  Otherwise, the value comes from the next
           ## argument - see below.