tree af1fd3206ed90ad0dec7844abf18deac579af846
parent ec5e42b3c50e3a8e95963161319fa1a56466b2ae
author Jeremy Jackson <jerj@coplanar.net> 1232593840 -0500
committer Paul Jakma <paul@quagga.net> 1245420211 +0100

[configure] fix check for GNU awk/gawk to abort ./configure if missing

It also prints what were comments explaining why gawk is necessary, and
not-in-PATH to help user figure out why it's not found.

Build was mysteriously failing with the old version of this check when gawk
wasn't installed.