On Tue, Dec 04, 2018 at 06:43:22PM -0600, Jacob Bachmeyer wrote: > This was noticed during ongoing work to improve Automake > integration. My guess is that some older version did use these > variables in these procs, but that was changed before the code was > imported into whatever became the Git repository.
Thanks. The DejaGnu public tree was created on 5 Feb 2001 using a snapshot from the Cygnus devo tree. I don't think the hisotry matters much. If the change is correct, then it's correct. :-) I'll apply this in due course. Cheers, Ben _______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
