--zROEGoKAXsG5UqGB
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

Georg Schwarz <geos@epost.de> wrote:
> > Well, it seems like a line-length limitation.  The awk command is the
> > most simple possible (awk { print $1 }) but apparently in this one
> > instance it failed (``Input record too long'').  gawk could handle it.
>=20
> USE_GNU_TOOLS+=3Dawk for that particular package does not do the trick,
> does it?

Thanks for the hint - that actually works.

However, it may still be desirable to have libtool invoke '${AWK}'
rather than 'awk' just in case.  This does not necessarily imply a
dependency on gawk, though.  Just a thought.

-Jan

--=20
If you can read this, you're not the president.

--zROEGoKAXsG5UqGB
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.3 (NetBSD)

iD8DBQFBPQ3WfFtkr68iakwRAtpVAKCsDONrpTPv7u7h5bXlsIDqEOF1ygCgmdrb
kew8djQlhXCGsfNSWkMqKCQ=
=12bm
-----END PGP SIGNATURE-----

--zROEGoKAXsG5UqGB--