diff options
author | Pawit Pornkitprasan <p.pawit@gmail.com> | 2013-04-16 08:51:02 +0700 |
---|---|---|
committer | Pawit Pornkitprasan <p.pawit@gmail.com> | 2013-04-16 08:51:02 +0700 |
commit | b7a765d2e7c11b89ba18746d45ed972bee834029 (patch) | |
tree | d2704cc6746a496c798cb687baf56b046b3114c0 | |
parent | 061dd2c12d07543b1888fba8698d091c374fb98d (diff) | |
download | build-b7a765d2e7c11b89ba18746d45ed972bee834029.zip build-b7a765d2e7c11b89ba18746d45ed972bee834029.tar.gz build-b7a765d2e7c11b89ba18746d45ed972bee834029.tar.bz2 |
Check bash version instead of OS for bash completion
The bash completion script requires bash 4.0
Change-Id: Id81a42585b1d2cb568cb1b8f602f2bb447bef214
-rw-r--r-- | envsetup.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/envsetup.sh b/envsetup.sh index 92b7898..d52d812 100644 --- a/envsetup.sh +++ b/envsetup.sh @@ -256,7 +256,7 @@ function settitle() function addcompletions() { - if [ "$(uname)" = "Darwin" ] ; then + if [ "${BASH_VERSINFO[0]}" -lt 4 ] ; then return fi |