This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "DejaGNU".
The branch, master has been updated
via 890006e411a09c66b2deb45018592f3ed93a22f5 (commit)
from 865dc67cd4e4d24ac722b4a865bfe4597b765f54 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 890006e411a09c66b2deb45018592f3ed93a22f5
Author: Jacob Bachmeyer <j...@gnu.org>
Date: Tue Apr 18 20:42:42 2023 -0500
Tighten --objdir option test
Previously, this test did not ensure that the command-line value for
--objdir was in force immediately after loading the local init file.
This allowed ::dejagnu::command_line::restore_cmd_vars to do nothing,
yet the test would still pass.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 6 ++++++
testsuite/runtest.main/options.exp | 4 ++--
2 files changed, 8 insertions(+), 2 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
