From 38423c67c8a23f6a1bc42038193182e2da3116eb Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 25 Apr 2020 11:37:10 +0100 Subject: gentoo resync : 25.04.2020 --- profiles/prefix/windows/winnt/profile.bashrc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'profiles/prefix') 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] -- cgit v1.2.3