On Thu, Oct 09, 2014 at 02:49:26PM -0400, David Malcolm wrote: > which seems to have been in dejagnu.exp since the earliest version in > git (from 2001): > http://git.savannah.gnu.org/gitweb/?p=dejagnu.git;a=commitdiff;h=ad5950c28155a9583b19cff68d3e7546d126c5f2
Yeah, and lib/dejagnu.exp was a new file (written by Rob), so it wasn't brought in via a patch, per se. Rob, any ideas? Cheers, Ben
signature.asc
Description: Digital signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
