diff options
Diffstat (limited to 'configure1.in')
| -rwxr-xr-x | configure1.in | 3 |
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. |