diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-07-22 20:42:23 +0200 |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-07-22 20:42:23 +0200 |
commit | ea31afdf04dd524ab57e8f8fb6c515fcc45bafbe (patch) | |
tree | f874259bd38b643e90d546dd2a494d5f4d1c7842 | |
parent | 82f9efebd84c7fd34732bdcaf18c9e1a99d7fcc4 (diff) | |
download | crosstool-ng-ea31afdf04dd524ab57e8f8fb6c515fcc45bafbe.tar.gz crosstool-ng-ea31afdf04dd524ab57e8f8fb6c515fcc45bafbe.tar.bz2 crosstool-ng-ea31afdf04dd524ab57e8f8fb6c515fcc45bafbe.zip |
Require GNU awk at ./configure time.
Some components (specifically {,e}glibc) will not build when awk
is not GNU awk. Make ./configure check for GNU awk.
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -327,7 +327,7 @@ has_or_abort prog=make \ ver='^GNU Make (3.[89][[:digit:]]|[4-9])' \ err="GNU 'make' 3.80 or above was not found" has_or_abort prog=gcc -has_or_abort prog=awk +has_or_abort prog="awk gawk" ver='^GNU Awk' err="GNU 'awk' was not found" has_or_abort prog=bison has_or_abort prog=flex has_or_abort prog=makeinfo |