configure
changeset 1485 d031a67fc494
parent 1432 76f8feef64c4
parent 1477 232ba0dc96b1
child 1560 79a609170a83
     1.1 --- a/configure	Sat Aug 01 19:18:12 2009 +0200
     1.2 +++ b/configure	Wed Aug 19 19:52:04 2009 +0200
     1.3 @@ -318,8 +318,8 @@
     1.4  # The regular list of tools we can now easily check for
     1.5  has_or_abort prog=bash                              \
     1.6               var=bash                               \
     1.7 -             ver='^GNU bash, version [34]\.'        \
     1.8 -             err="'bash' 3.x or above was not found"
     1.9 +             ver='^GNU bash, version (3\.[1-9]|4)'  \
    1.10 +             err="'bash' 3.1 or above was not found"
    1.11  has_or_abort prog=cut
    1.12  has_or_abort prog=install var=install
    1.13  has_or_abort prog=make                                  \