configure
changeset 411 e0816bfc311b
parent 395 fd7a636532cf
child 435 ff598e5b4bb5
     1.1 --- a/configure	Sun Sep 16 17:50:27 2007 +0000
     1.2 +++ b/configure	Wed Jan 16 21:41:53 2008 +0000
     1.3 @@ -125,7 +125,7 @@
     1.4  [ -x /bin/bash ] || do_error "bash 3.0 or above was not found in /bin/bash"
     1.5  bash_version=$(/bin/bash -c 'echo ${BASH_VERSION}')
     1.6  bash_major=$(/bin/bash -c 'echo ${BASH_VERSINFO[0]}')
     1.7 -[ ${bash_major} -ge 3 ] || do_error "bash 3.0 or above is needed (found ${bash_version})"
     1.8 +[ ${bash_major} -ge 3 ] || do_error "bash 3.0 or above is needed (/bin/bash is ${bash_version})"
     1.9  
    1.10  sed -r -e "s,@@BINDIR@@,${BINDIR},g;"   \
    1.11         -e "s,@@LIBDIR@@,${LIBDIR},g;"   \