configure
changeset 377 38720321dad0
parent 376 8a2c53a1b263
child 381 6a0ee764a60a
     1.1 --- a/configure	Wed Sep 12 20:44:15 2007 +0000
     1.2 +++ b/configure	Fri Sep 14 15:57:48 2007 +0000
     1.3 @@ -124,7 +124,8 @@
     1.4  # Check bash is present, and at least version 3.0
     1.5  [ -x /bin/bash ] || do_error "bash 3.0 or above was not found in /bin/bash"
     1.6  bash_version=$(/bin/bash --version |head -n 1 |cut -d ' ' -f 4)
     1.7 -[ ${bash_version//%.*} -ge 3 ] || do_error "bash 3.0 or above is needed (found ${bash_version})"
     1.8 +bash_major=$(echo "${bash_version}" |sed -e 's/\..*//g;')
     1.9 +[ ${bash_major} -ge 3 ] || do_error "bash 3.0 or above is needed (found ${bash_version})"
    1.10  
    1.11  sed -r -e "s,@@BINDIR@@,${BINDIR},g;"   \
    1.12         -e "s,@@LIBDIR@@,${LIBDIR},g;"   \