From ea31afdf04dd524ab57e8f8fb6c515fcc45bafbe Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Wed, 22 Jul 2009 20:42:23 +0200
Subject: 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.

diff --git a/configure b/configure
index a1eef74..4770422 100755
--- a/configure
+++ b/configure
@@ -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
-- 
cgit v0.10.2-6-g49f6