On Tue, Jan 22, 2019 at 08:15:01PM -0600, Jacob Bachmeyer wrote:
> ChangeLog entry:
> * doc/dejagnu.texi (Global config file): Change example to use
> "switch" instead of the deprecated "case" Tcl command.
Applied, thanks!
Ben
signature.asc
Description: PGP signature
__
Here's the first small patch from efforts to untangle the DejaGnu
configuration rat's nest:
ChangeLog entry:
* doc/dejagnu.texi (Global config file): Change example to use
"switch" instead of the deprecated "case" Tcl command.
patch:
diff --git a/doc/dejagnu.texi
