diff options
| author | Jeremy Jackson <jerj@coplanar.net> | 2009-01-21 22:10:40 -0500 |
|---|---|---|
| committer | Paul Jakma <paul@quagga.net> | 2009-06-19 15:03:31 +0100 |
| commit | 7ec573661ff046f6fa97d694de7a68dede2532fd (patch) | |
| tree | af1fd3206ed90ad0dec7844abf18deac579af846 /isisd/.gitignore | |
| parent | ec5e42b3c50e3a8e95963161319fa1a56466b2ae (diff) | |
[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.
Diffstat (limited to 'isisd/.gitignore')
0 files changed, 0 insertions, 0 deletions