diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2021-02-21 15:50:13 -0800 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2021-02-21 15:50:13 -0800 |
commit | 835eb2a789b734be42b3e3479fe7c8da0d959e62 (patch) | |
tree | 248ce5bbfd55ae408e2bc82e20f3f017c2ee4dc7 | |
parent | 065e8b113305179de0b489bc8d18452ec1aa5e2a (diff) | |
download | txr-835eb2a789b734be42b3e3479fe7c8da0d959e62.tar.gz txr-835eb2a789b734be42b3e3479fe7c8da0d959e62.tar.bz2 txr-835eb2a789b734be42b3e3479fe7c8da0d959e62.zip |
configure: reconfigure: spaces in arguments
* configure (cmdline): We are missing the simple case when the
argument contains spaces or tabs, and no quotes or special
characters. This causes a badly formatted command line in
reconfigure in common situations like --opt-flags="-O3 -W".
-rwxr-xr-x | configure | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -103,6 +103,9 @@ for arg in "$0" ${@+"$@"} ; do *'"'* | *['$*?[(){};&|<>#']* | '~'* ) cmdline="$cmdline'$arg'" ;; + *' '* | *' '* ) + cmdline="$cmdline\"$arg\"" + ;; * ) cmdline="$cmdline$arg" ;; |