diff options
Diffstat (limited to 'profiles/prefix')
| -rw-r--r-- | profiles/prefix/windows/winnt/profile.bashrc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/profiles/prefix/windows/winnt/profile.bashrc b/profiles/prefix/windows/winnt/profile.bashrc index 1a70e77b1cbd..9420300435cd 100644 --- a/profiles/prefix/windows/winnt/profile.bashrc +++ b/profiles/prefix/windows/winnt/profile.bashrc @@ -212,7 +212,7 @@ force_dest_file_opt= nextargs=( "$@" ) -while [[ $# > 0 ]] +while [[ $# -gt 0 ]] do arg=${1} shift @@ -260,7 +260,7 @@ ret=$? if [[ -z ${mydest} ]] then - [[ ${#mysrcs[@]} < 2 ]] && exit 0 + [[ ${#mysrcs[@]} -lt 2 ]] && exit 0 : "${mysrcs[@]}" "${#mysrcs[@]}" mydest=${mysrcs[${#mysrcs[@]}-1]} unset mysrcs[${#mysrcs[@]}-1] |