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 ee21af3cae2cc92bc10b7e19f04b31f785ce04bd (commit)
via f53d3dc51d10229a40df1fc85dd330a0fbc12727 (commit)
from 45a1dbdf9a382b63d51fd28248be206c33f7afc0 (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 ee21af3cae2cc92bc10b7e19f04b31f785ce04bd
Merge: f53d3dc 45a1dbd
Author: Ben Elliston <b...@gnu.org>
Date: Tue Jul 15 22:56:46 2014 +1000
Merge branch 'master' of git.sv.gnu.org:/srv/git/dejagnu
Conflicts:
ChangeLog
commit f53d3dc51d10229a40df1fc85dd330a0fbc12727
Author: Maciej W. Rozycki <ma...@mips.com>
Date: Tue Jul 15 22:54:05 2014 +1000
* lib/targetdb.exp (add_board_info): New procedure.
* doc/ref.xml (Add_board_info Procedure): New section.
(Set_board_info Procedure): Add description.
(Unset_board_info Procedure): Likewise.
* doc/user.xml (Board Config File Values): Add `add_board_info'
reference. Reorder `gdb_init_command' table rows and remove a
duplicate entry, reusing it for `gdb_init_commands'.
Signed-off-by: Ben Elliston <b...@gnu.org>
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 11 ++++++++++
doc/dejagnu.texi | 56 +++++++++++++++++++++++++++++++++++++++++++++--------
doc/ref.xml | 43 ++++++++++++++++++++++++++++++++++++----
doc/user.xml | 23 +++++++++++++--------
lib/targetdb.exp | 9 ++++++++
5 files changed, 119 insertions(+), 23 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
