configure
changeset 1213 61e11b37185a
parent 1187 3a76b3242ed8
child 1255 d856241f693c
     1.1 --- a/configure	Sun Feb 01 18:40:16 2009 +0000
     1.2 +++ b/configure	Tue Feb 17 21:05:10 2009 +0000
     1.3 @@ -25,21 +25,20 @@
     1.4  # Examples:
     1.5  #    bash:bash=^GNU bash, version 3\.
     1.6  #     - if ${bash} is set and non-null, does nothing
     1.7 -#     - else ensures that bash exists in the PATH, and that
     1.8 -#         "$( "$( which bash )" --version |head -n 1 )"
     1.9 +#     - else ensures that bash exists in the PATH, and that $( bash --version )
    1.10  #       matches the regexp '^GNU bash, version 3\.'
    1.11  #       - if so, then sets bash="$( which bash )"
    1.12  #    autoconf=(GNU Autoconf) || autoconf2.50
    1.13  #     - does not look at an existing variable
    1.14  #     - ensures that:
    1.15 -#         - 'autoconf' is to be found in the PATH, and that $( autoconf --version |head -n 1 )
    1.16 +#         - 'autoconf' is to be found in the PATH, and that $( autoconf --version )
    1.17  #           matches the regexp '(GNU Autoconf)' (which btw is the signature of
    1.18  #           autoconf >= 2.50),
    1.19  #       OR that:
    1.20  #         - 'autoconf2.50' is to be found in the PATH
    1.21  #
    1.22  TOOLS_TO_CHECK='
    1.23 -bash:bash=^GNU bash, version 3\.
    1.24 +bash:bash=^GNU bash, version [34]\.
    1.25  cut
    1.26  xargs
    1.27  install:install=GNU coreutils