diff options
Diffstat (limited to 'bash/bash_profile')
-rw-r--r-- | bash/bash_profile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bash/bash_profile b/bash/bash_profile index e8762fd2..f89d83f1 100644 --- a/bash/bash_profile +++ b/bash/bash_profile @@ -8,8 +8,8 @@ fi # 2.05a). if ! [ -n "$BASH_VERSINFO" ] ; then return -elif ((BASH_VERSINFO[0] == 2 && \ - 10#${BASH_VERSINFO[1]%%[![:digit:]]*} < 5)) ; then +elif ((BASH_VERSINFO[0] == 2)) && \ + ((10#${BASH_VERSINFO[1]%%[![:digit:]]*} < 5)) ; then return fi |