Re: PATCH: add dejagnu-report-card(1) tool (run as "dejagnu report card")

[Ben Elliston]

Hi Jacob

Do you have an example of the report-card output we can take a look
at?

Cheers, Ben

_______________________________________________
DejaGnu mailing list
DejaGnu@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu