diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-07-22 18:42:23 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-07-22 18:42:23 (GMT) |
| commit | ea31afdf04dd524ab57e8f8fb6c515fcc45bafbe (patch) | |
| tree | f874259bd38b643e90d546dd2a494d5f4d1c7842 | |
| parent | 82f9efebd84c7fd34732bdcaf18c9e1a99d7fcc4 (diff) | |
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 |