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 7d63d7a08cc11858904b44edaf32d1bc2a52ff0f (commit)
from 133ffaef0b659e159d9e41468f7b25e494b11fb3 (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 7d63d7a08cc11858904b44edaf32d1bc2a52ff0f
Author: Ben Elliston <b...@gnu.org>
Date: Tue Jan 1 20:35:23 2019 +1100
* configure.ac: Abort if AWK is not installed.
* configure: Regenerate.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 5 +++++
configure | 4 ++++
configure.ac | 4 ++++
3 files changed, 13 insertions(+)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
