diff options
Diffstat (limited to 'configure.gnu')
| -rwxr-xr-x | configure.gnu | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.gnu b/configure.gnu index 2ef8331833..f98eb7660f 100755 --- a/configure.gnu +++ b/configure.gnu @@ -86,7 +86,7 @@ EOM exit 1 ;; *) - opts="$opts $1" + opts="$opts '$1'" shift ;; esac @@ -126,7 +126,7 @@ case "$verbose" in *) copt="$copt -d";; esac -set X sh Configure $copt $create $opts +eval "set X sh Configure $copt $create $opts" shift echo "$@" exec "$@" |