summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Heuer <kwzh@gnu.org>1994-09-19 18:15:11 +0000
committerKarl Heuer <kwzh@gnu.org>1994-09-19 18:15:11 +0000
commitc6c758d2516263c48cd8e86f5ab66c266983bbbd (patch)
tree8ad684836f3b5c101a702049af531e9b2bebc84b
parent7caf9d016620d05e984815b3a7c5e3cd7e1f3fa7 (diff)
downloademacs-c6c758d2516263c48cd8e86f5ab66c266983bbbd.tar.gz
(config_options): Save all arguments, not just some.
-rwxr-xr-xconfigure1.in3
1 files changed, 1 insertions, 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.