This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to branch master in repository dejagnu.
from 68464b7 Document the grand totals reported by report-card tool adds 4d924d4 Do not set `test_timeout' in `unix_load' adds 34d6720 Set `testcase_timeout' earlier on in `gdb_comm_load' adds fbdcba4 Use `test_timeout' consistently across protocols adds ef0e2f9 Harmonise test execution reporting across protocols adds 1b90c9c Update ChangeLog after installing patches
No new revisions were added by this update.
Summary of changes: ChangeLog | 26 ++++++++++++++++++++++++++ baseboards/qemu.exp | 11 ++++++++++- config/gdb-comm.exp | 18 +++++++++++------- config/gdb_stub.exp | 11 +++++++++-- config/sim.exp | 6 ++++++ config/unix.exp | 12 +++++++----- doc/dejagnu.texi | 3 ++- 7 files changed, 71 insertions(+), 16 deletions(-)