configure
branchbash_array
changeset 1477 232ba0dc96b1
parent 1430 933eee133cbf
child 1485 d031a67fc494
     1.1 --- a/configure	Wed Jul 15 09:22:47 2009 +0200
     1.2 +++ b/configure	Wed Aug 19 19:41:24 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                                  \