diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -4,9 +4,8 @@ VERSION=$( cat .version ) DATE=$( date +%Y%m%d ) # All absolutely required tools, one per line to ease diff. -# See function 'has_or_abort, below, for syntax +# See function 'has_or_abort', below, for syntax # - Hopefully, if gcc is present, then all associated tools will be -# - awk must be GNU awk # - makeinfo for building docs, even if discarded later on # - others obvious... :-/ # @@ -44,7 +43,7 @@ xargs install:install=GNU coreutils make:make=^GNU Make gcc -awk:awk=^GNU Awk || gawk=^GNU Awk +awk bison flex makeinfo |