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 11ba195b8b6d4d3c57449f41ef12a8cf54f612b9 (commit)
from 28a5e74afeb11090dc269bbf814eec306c7d4ec5 (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 11ba195b8b6d4d3c57449f41ef12a8cf54f612b9
Author: Anton Kolesov <anton.kole...@synopsys.com>
Date: Thu Oct 31 06:35:30 2013 +1100
* lib/remote.exp (standard_reboot): Return 1 instead of an empty string.
(remote_reboot): Add comment explaining return value of this procedure.
* doc/ref.xml (remote_reboot, standard_reboot): Document procedures.
* doc/dejagnu.texi: Regenerate.
Signed-off-by: Ben Elliston <b...@gnu.org>
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 7 +++++++
doc/dejagnu.texi | 9 +++++++++
doc/ref.xml | 11 +++++++++--
lib/remote.exp | 11 +++++++++--
4 files changed, 34 insertions(+), 4 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
