Ben Elliston wrote:
On Tue, Nov 13, 2018 at 10:18:35PM -0600, Jacob Bachmeyer wrote:
This is starting to look more useful than my original proposal.
Agreed. Please work up a patch and post it. Including documentation
changes would be particularly welcome.
It is in my local queue, behind another patch for Automake
misintegration (the tool init file search path) that I proposed a week
ago and will post soon.
-- Jacob
_______________________________________________
DejaGnu mailing list
DejaGnu@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu
