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 537bd47cc8166c2106cdeed7fd9cca361ee3c93f (commit)
via 30b5d1773d020dbaefe0c029f2f30d09eed6c611 (commit)
from 5462bead2a0ecc6907d7981090f89f4cf39ef2e3 (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 537bd47cc8166c2106cdeed7fd9cca361ee3c93f
Merge: 5462bea 30b5d17
Author: Ben Elliston <b...@gnu.org>
Date: Tue Feb 16 12:31:08 2016 +1100
* runtest.exp: Use the traditional exit codes when runtest is
interrupted. This makes it possible to tell if runtest ran to
completion or not. Suggested by Michael Chastain.
commit 30b5d1773d020dbaefe0c029f2f30d09eed6c611
Author: Ben Elliston <b...@gnu.org>
Date: Mon Feb 15 13:52:36 2016 +1100
* runtest.exp: Use the traditional exit codes when runtest is
interrupted. This makes it possible to tell if runtest ran to
completion or not. Suggested by Michael Chastain.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 6 ++++++
runtest.exp | 17 ++++++++---------
2 files changed, 14 insertions(+), 9 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
