configure
branch1.3
changeset 1768 2cab50c41bd9
parent 1163 1469c4f9fb7e
     1.1 --- a/configure	Tue Jan 27 22:21:44 2009 +0000
     1.2 +++ b/configure	Sun Jan 31 13:04:34 2010 +0100
     1.3 @@ -33,7 +33,7 @@
     1.4  #         - 'autoconf2.50' is to be found in the PATH
     1.5  #
     1.6  TOOLS_TO_CHECK='
     1.7 -/bin/bash/^GNU bash, version 3\.
     1.8 +/bin/bash/^GNU bash, version [34]\.
     1.9  make/^GNU Make
    1.10  gcc/
    1.11  gawk/^GNU Awk