Re: PATCH: add "dejagnu report card" command [revised]
Ben Elliston <[email protected]>
| Newsgroups | gmane.comp.sysutils.dejagnu.general |
|---|---|
| Message-ID | <20190101091221.GA30365@bapbop> |
On Mon, Dec 31, 2018 at 11:56:10PM -0600, Jacob Bachmeyer wrote: > -DISTCLEANFILES = options-init.exp stats-init.exp > +DISTCLEANFILES = options-init.exp stats-init.exp \ > + testsuite/launcher.all/command/bin/dejagnu \ > + testsuite/launcher.all/command/bin/dejagnu-bar \ [etc.] It should not be necessary to list all of these files for distclean. Automake only copies what you specify, so these should be able to be omitted. By the way, you do build in a separate object directory, right? That keeps your source tree clean of object and derived files. > TEXINFO_TEX = doc/texinfo.tex > -dist_man_MANS = doc/dejagnu.1 doc/dejagnu-help.1 doc/runtest.1 > +dist_man_MANS = doc/dejagnu.1 \ > + doc/dejagnu-help.1 \ > + doc/dejagnu-report-card.1 \ > + doc/runtest.1 I am wondering if we should do what other GNU packages do and have a skeletal man page for dejagnu(1) but refer users to the Info documentation for the details of, eg, dejagnu-report-card? I will also make the change to 'configure' to abort if AC_PROG_AWK returns 'no'. Cheers, Ben _______________________________________________ DejaGnu mailing list [email protected] https://lists.gnu.org/mailman/listinfo/dejagnu
signature.asc
(application/pgp-signature, 833 B)
-----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEFS8+rdM1/2KWERKFZ9rcPj90NkkFAlwrLvQACgkQZ9rcPj90 Nkk2rw/9EFPON7J2Vi3hwIW0qPhASk50JQQI/9EnOdHr4KKRjZg9ROfLBI5DUZgI W0ZKApbqe6WADD48iSstM2HpCp2q9RR0UHKCiYxpd0lJDmX/67/fcBTw8tdxIkEI GVirWgrIZzCl6K3aRor+Y8mP4x4dMdM7hVFIZ/k+4JijgctuVYKL3jyVYlV7b9rf wxrJ2kiFNp4wtpmDOaSjwKLhMoAxd1n/4CL6b4jlYzIZ+Qw8Ae2NFa6EE8JxLzn9 1kWur5Nyej8QZU4PY9ZGr9DD7eS/QYBI0jFlb4Fi8/BGSNSLUFssVKjjRHFzVPy0 aQbSutGVBhs1CYp0Mpeq1owBtgqt+aR0RG2wLsvnNNQ6TPNuHJg0a5Aen2HsyyKn 09rgjJtd3j21CHM0fGksfOCV3JAST4h+kxMCFk12ONldEW1500yioHt/l/VvN/4W ZAixN/j9oJ0WylrJgDKncLmY2IB39hytOT2YTu3fFmAMcE/910ZAx+BUiAroCGTz id6UO6NOvPgWzTmDhtCvvqvvMpLH7s283V4z7GpcEI0CFDHXC/fKw4rjO2vqFopu IYOCYQI22yK7d4JbAbO3w8FHYyNLEGZAezEPUHeNM6EZclHcZ0zIiomU24sJTnUt iZ9F/GshJQnN3f/+RE2Ed41eOBJdDRBzLIAXeFjtdUYTSYsm2Ig= =D482 -----END PGP SIGNATURE-----