aboutsummaryrefslogtreecommitdiff
path: root/bash/bash_profile
diff options
context:
space:
mode:
Diffstat (limited to 'bash/bash_profile')
-rw-r--r--bash/bash_profile5
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