Re: PATCH: add --local_init and --global_init options to override use of site.exp [reissued]

[Ben Elliston]

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.

Ben

signature.asc
Description: PGP signature