[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: PATCH: add --local_init and --global_init options to override use of

From: Ben Elliston
Subject: Re: PATCH: add --local_init and --global_init options to override use of site.exp [reissued]
Date: Sun, 2 Dec 2018 12:15:26 +1100
User-agent: NeoMutt/20170609 (1.8.3)

On Fri, Nov 30, 2018 at 04:10:27PM -0600, Jacob Bachmeyer wrote:

> This is the previous --{loc,glob}al_init patch regenerated against
> current master HEAD.  This version of the patch also adds 2018 to
> the copyright notices in runtest.exp and runtest.1, but there does
> not seem to be a copyright/permission notice in dejagnu.texi.  Did I
> miss it or is it missing?

Applied, thanks. I will fix the texi file. I am doing a bunch of work
in there anyway.


Attachment: signature.asc
Description: PGP signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]