diff -r 38720321dad0 -r d5c5ed1b75ef configure --- a/configure Fri Sep 14 15:57:48 2007 +0000 +++ b/configure Fri Sep 14 21:41:00 2007 +0000 @@ -123,8 +123,8 @@ # Check bash is present, and at least version 3.0 [ -x /bin/bash ] || do_error "bash 3.0 or above was not found in /bin/bash" -bash_version=$(/bin/bash --version |head -n 1 |cut -d ' ' -f 4) -bash_major=$(echo "${bash_version}" |sed -e 's/\..*//g;') +bash_version=$(/bin/bash --version |sed -r -e '2,$d' -e 's/.* version ([[:digit:]]+).*/\1/;') +bash_major=${bash_version%%.*} [ ${bash_major} -ge 3 ] || do_error "bash 3.0 or above is needed (found ${bash_version})" sed -r -e "s,@@BINDIR@@,${BINDIR},g;" \