On Thu, 2018-11-29 at 22:59 +, Pedro Alves wrote:
>
> Yeah, GDB does in its internal board files. Non-remote boards source
> a file with this:
>
> ~
> 16 # By default, DejaGnu makes the board remote unless the board
> name
> 17 # matches localhost. Sourcing this script from a board
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?
