configure
branch1.3
changeset 1285 4150b61102e4
parent 1163 1469c4f9fb7e
     1.1 --- a/configure	Tue Jan 27 22:21:44 2009 +0000
     1.2 +++ b/configure	Thu Apr 02 20:44:39 2009 +0000
     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