bootstrap: use a decent awk if /bin/awk is hopeless.
commit9f2b41f6d9a74e9d4e3a3d959da0e81a3f5d7a23
authorGary V. Vaughan <gary@gnu.org>
Thu, 25 Oct 2012 15:03:05 +0000 (25 10:03 -0500)
committerGary V. Vaughan <gary@gnu.org>
Thu, 25 Oct 2012 15:03:05 +0000 (25 10:03 -0500)
treec2759ed661dfc11e65e3fc65440411458cb5d545
parentcdd7f33f06e5864fdf0d13731398f5021e285647
bootstrap: use a decent awk if /bin/awk is hopeless.

Bootstrap used to fail without an explicit AWK environment
setting on machines with both nawk and awk, but where awk is a
museum piece.
* gl/build-aux/inline-source (AWK): Remove initial setting.
(require_awk): Search PATH for a gawk, mawk or nawk before
settling on awk, just like configure does.
(func_include): Use it.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>
gl/build-aux/inline-source