On Thu, Dec 20, 2018 at 01:05:45AM -0600, Jacob Bachmeyer wrote: > This patch is the long-promised dejagnu(1) multi-launcher, revised > to include also its first command "dejagnu help" in this patch to > ensure that it works properly.
Applied. Thanks for this great work! Cheers, Ben
signature.asc
Description: PGP signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
