Re: PATCH: add comments explaining DEJAGNU in configure.ac

Ben Elliston <[email protected]> Wed, 31 Oct 2018 21:30:00 +1100

Newsgroups	gmane.comp.sysutils.dejagnu.bugs
Message-ID	<20181031103000.GA17160@bapbop>

On Tue, Oct 30, 2018 at 06:46:12PM -0500, Jacob Bachmeyer wrote:

> This may help someone in the future who ends up wondering why
> configure substitutes DEJAGNU.

Thanks; applied.

Ben

_______________________________________________
Bug-dejagnu mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-dejagnu

signature.asc (application/pgp-signature, 833 B)

-----BEGIN PGP SIGNATURE-----

iQIzBAABCgAdFiEEFS8+rdM1/2KWERKFZ9rcPj90NkkFAlvZhCYACgkQZ9rcPj90
Nkm7ZBAArDA+dKtogMuM5/O7c6sOwo4x70kFCOzMydi6jbeeEEVzSMV2tcMR8DdQ
ZXIX7k+tMztNEjduQHsIwRv0QAjwgAxQYAF/p4G72kAbGAkS6b8nlYbqzCAW3OMT
wYCFL2VmLQSuabVj92iIcmLPAk2Ygi+3En8UAGt84Wbmh8r3LjyjvpZ0z0kwBI7g
w88U1IITrEKGGlpR9EmN4kMZWLd/rP/OmLYns7bFw6Qbl3+ZIpGduOYP13KLgjMD
UFVs83upsqSe3vCvYMqj0Ou9GllKNX6AzuysI5+JIn8bpmh9D5VtYaVTHnG4NTGa
2zv1jAt0tiOvzem4WfwZYyUTufGywkFJnLJhl4JLD5WyOdNk7iJUq1N4Yo22InZw
430N/NBxndSRfd7fayi47gAqnlSvXvC4PlNIZNTaRb4XvWHySYi/4hOx6Fhbi7rb
RQcC/n4QSrKFCm0sRuuNXA6wLXXmHTJYm7zoZP/a16PnFm/tf6BKgtDRaZak1PoF
GzppzFtvITLQQlv/KFekJAlmMYCNN/C9sA9S5jyDn0jZThYW2LkK73Dkn0ojJave
UJQdDFQhJJjHq8fhcm1JhCC1GOBenS+PUYW1wnbLX9rVqWCxFguEjOuzLhtSZCF6
YI4qH7+mnM7R9ID5V4qeN8Qshe98n6pwIEHFlbiRlzmgVPSt9Sw=
=7j8h
-----END PGP SIGNATURE-----