|
| From: | Ben Elliston |
| Subject: | Re: PATCH: add dejagnu-report-card(1) tool (run as "dejagnu report card") |
| Date: | Sun, 30 Dec 2018 16:44:39 +1100 |
| User-agent: | Mutt/1.9.4 (2018-02-28) |
Hi Jacob Do you have an example of the report-card output we can take a look at? Cheers, Ben
| [Prev in Thread] | Current Thread | [Next in Thread] |