diff options
Diffstat (limited to 'bash/bash_profile')
| -rw-r--r-- | bash/bash_profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bash/bash_profile b/bash/bash_profile index 05b15693..1269492e 100644 --- a/bash/bash_profile +++ b/bash/bash_profile @@ -6,7 +6,7 @@ fi # Ensure we're using at least version 2.05 if ! [ -n "$BASH_VERSINFO" ] ; then return -elif ((10#${BASH_VERSINFO[0]%%[![:digit:]]*} == 2)) && \ +elif ((BASH_VERSINFO[0] == 2)) && \ ((10#${BASH_VERSINFO[1]%%[![:digit:]]*} < 5)) ; then return fi |