Simplify a bit more bash detection.
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Sep 16 17:50:27 2007 +0000 (2007-09-16)
changeset 395fd7a636532cf
parent 394 5e5d02b2d786
child 396 05550a6b9ff0
Simplify a bit more bash detection.
configure
     1.1 --- a/configure	Sun Sep 16 08:52:26 2007 +0000
     1.2 +++ b/configure	Sun Sep 16 17:50:27 2007 +0000
     1.3 @@ -123,8 +123,8 @@
     1.4  
     1.5  # Check bash is present, and at least version 3.0
     1.6  [ -x /bin/bash ] || do_error "bash 3.0 or above was not found in /bin/bash"
     1.7 -bash_version=$(/bin/bash --version |sed -r -e '2,$d' -e 's/.* version ([[:digit:]]+).*/\1/;')
     1.8 -bash_major=${bash_version%%.*}
     1.9 +bash_version=$(/bin/bash -c 'echo ${BASH_VERSION}')
    1.10 +bash_major=$(/bin/bash -c 'echo ${BASH_VERSINFO[0]}')
    1.11  [ ${bash_major} -ge 3 ] || do_error "bash 3.0 or above is needed (found ${bash_version})"
    1.12  
    1.13  sed -r -e "s,@@BINDIR@@,${BINDIR},g;"   \