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 284773caf2434586dbacd0823107e676c69a5666 (commit) via 8350550d0f8bed678e55d273649dd846619b91c4 (commit) from aa3debbed09828872ec81c5ce819c4791e5b4fa3 (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 284773caf2434586dbacd0823107e676c69a5666 Author: Yvan Roux <yvan.r...@linaro.org> Date: Wed Apr 6 19:52:22 2016 +1000 * lib/remote.exp (remnote_download): Create a remote directory if needed and use it. (remote_exec): Execute program inside remotedir when it exists. (standard_load): Set remotedir board field if not present. * config/unix.exp (unix_load): Handle remotedir in board field. (remotedir): Set board info field. * doc/dejagnu.texi (Board File Values): Document remotedir. Signed-off-by: Ben Elliston <b...@gnu.org> commit 8350550d0f8bed678e55d273649dd846619b91c4 Author: Ben Elliston <b...@gnu.org> Date: Wed Apr 6 19:39:09 2016 +1000 * doc/dejagnu.texi (Global config file): Put before node 'Local config file'. ----------------------------------------------------------------------- Summary of changes: ChangeLog | 15 ++++++ config/unix.exp | 3 +- doc/dejagnu.texi | 130 +++++++++++++++++++++++++++--------------------------- lib/remote.exp | 20 ++++++++- 4 files changed, 101 insertions(+), 67 deletions(-) hooks/post-receive -- DejaGNU _______________________________________________ Dejagnu-commit mailing list Dejagnu-commit@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu-commit