Re: PATCH: add dejagnu-report-card(1) tool (run as "dejagnu report card")
Ben Elliston <[email protected]>
| Newsgroups | gmane.comp.sysutils.dejagnu.general |
|---|---|
| Message-ID | <20181230054439.GA16877@bapbop> |
Hi Jacob Do you have an example of the report-card output we can take a look at? Cheers, Ben