Hi Dave On Fri, Jan 22, 2016 at 04:53:00PM -0500, David Malcolm wrote:
> We're carrying a patched copy of dejagnu's host_execute, > "fixed_host_execute", for reasons given in: > http://lists.gnu.org/archive/html/dejagnu/2014-10/msg00007.html > though I think we may have drifted further. If you feel inclined, I am happy to review any patches that bring these two versions of host_execute closer together again. Looking at your report now .. Cheers, Ben _______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
