summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure7
1 files changed, 3 insertions, 4 deletions
diff --git a/configure b/configure
index 90a2978..457c46e 100755
--- a/configure
+++ b/configure
@@ -25,21 +25,20 @@ DATE=$( date +%Y%m%d )
# Examples:
# bash:bash=^GNU bash, version 3\.
# - if ${bash} is set and non-null, does nothing
-# - else ensures that bash exists in the PATH, and that
-# "$( "$( which bash )" --version |head -n 1 )"
+# - else ensures that bash exists in the PATH, and that $( bash --version )
# matches the regexp '^GNU bash, version 3\.'
# - if so, then sets bash="$( which bash )"
# autoconf=(GNU Autoconf) || autoconf2.50
# - does not look at an existing variable
# - ensures that:
-# - 'autoconf' is to be found in the PATH, and that $( autoconf --version |head -n 1 )
+# - 'autoconf' is to be found in the PATH, and that $( autoconf --version )
# matches the regexp '(GNU Autoconf)' (which btw is the signature of
# autoconf >= 2.50),
# OR that:
# - 'autoconf2.50' is to be found in the PATH
#
TOOLS_TO_CHECK='
-bash:bash=^GNU bash, version 3\.
+bash:bash=^GNU bash, version [34]\.
cut
xargs
install:install=GNU coreutils