diff options
Diffstat (limited to 'bash/bash_profile')
-rw-r--r-- | bash/bash_profile | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/bash/bash_profile b/bash/bash_profile index bd80dba6..867ad533 100644 --- a/bash/bash_profile +++ b/bash/bash_profile @@ -1,8 +1,5 @@ # Give up completely if no BASH_VERSINFO (<2.0) -if [ -z "$BASH_VERSINFO" ] ; then - printf \ - '%s: %s is too old to work with this configuration.\n' \ - "${BASH##*/}" "$BASH_VERSION" >&2 +if ! [ "$BASH_VERSINFO" ] ; then return fi |