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 34199f96f32b0e3375ee2853216ca2490ba6d9bb (commit)
from 433e2b2cc0815dc8795a950b3f4eeaa0d46c3d0c (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 34199f96f32b0e3375ee2853216ca2490ba6d9bb
Author: Ben Elliston <b...@gnu.org>
Date: Sat Dec 8 10:51:16 2018 +1100
* config/vxworks.exp (${board}_init): Use 'ne' instead of !=.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 4 ++++
config/vxworks.exp | 2 +-
2 files changed, 5 insertions(+), 1 deletion(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
