diff -r 933eee133cbf -r 232ba0dc96b1 configure
--- a/configure	Wed Jul 15 09:22:47 2009 +0200
+++ b/configure	Wed Aug 19 19:41:24 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                                  \