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 60bb232959188decf2da1c38b02191edfafdd51a (commit)
from a53deb4787c3229127481445a28a42ee44c8b550 (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 60bb232959188decf2da1c38b02191edfafdd51a
Author: Jacob Bachmeyer <jcb62281+...@gmail.com>
Date: Thu May 21 15:39:08 2020 -0600
Use runtest_file_p to honor requests to run only some library tests.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 11 ++++++++---
testsuite/runtest.libs/libs.exp | 4 ++--
2 files changed, 10 insertions(+), 5 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
