diff options
Diffstat (limited to 'scripts/install_copy_toolchain.sh')
| -rwxr-xr-x | scripts/install_copy_toolchain.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/install_copy_toolchain.sh b/scripts/install_copy_toolchain.sh index 0cf4d3124..0000adccf 100755 --- a/scripts/install_copy_toolchain.sh +++ b/scripts/install_copy_toolchain.sh @@ -231,9 +231,12 @@ ptxd_install_copy_toolchain() { ;; s) case "${OPTARG}" in - y|yes|1|true|"") + y|yes|1|true) args="${args} strip=y" ;; + "") + args="${args} strip=" + ;; *) args="${args} strip=n" ;; |