diff -r 76f8feef64c4 -r d031a67fc494 configure --- a/configure Sat Aug 01 19:18:12 2009 +0200 +++ b/configure Wed Aug 19 19:52:04 2009 +0200 @@ -318,8 +318,8 @@ # The regular list of tools we can now easily check for has_or_abort prog=bash \ var=bash \ - ver='^GNU bash, version [34]\.' \ - err="'bash' 3.x or above was not found" + ver='^GNU bash, version (3\.[1-9]|4)' \ + err="'bash' 3.1 or above was not found" has_or_abort prog=cut has_or_abort prog=install var=install has_or_abort prog=make \