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 6fc810306d8e42cdad9d04418bfb335e1dd09143 (commit)
from 4b6f509bece0562402731d80cba96cfd7411744e (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 6fc810306d8e42cdad9d04418bfb335e1dd09143
Author: Filipe Brandenburger <filbran...@google.com>
Date: Fri May 15 15:51:49 2015 +1000
* runtest.exp (runtest): Introduce new --log_dialog option.
* doc/runtest.1: Document it.
* doc/user.xml: Likewise.
* doc/dejagnu.texi: Regenerate.
Signed-off-by: Ben Elliston <b...@gnu.org>
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 7 +++++++
doc/dejagnu.texi | 7 +++++++
doc/runtest.1 | 3 +++
doc/user.xml | 9 +++++++++
runtest.exp | 11 ++++++++++-
5 files changed, 36 insertions(+), 1 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
