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 81651abb04defb181f9c98bfcc55e077dcaea452 (commit)
from de9a1cae6716032501e87fc6d80a527f21c786ca (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 81651abb04defb181f9c98bfcc55e077dcaea452
Author: Ben Elliston <b...@gnu.org>
Date: Fri Jul 20 20:42:58 2018 +1000
* contrib/mysql/make-datafile.sh: Eliminate Shellcheck warnings.
* contrib/mysql/sum2xml.sh: Likewise.
Silence these warnings:
Double quote to prevent globbing and word splitting. [SC2086]
See if you can use ${variable//search/replace} instead. [SC2001]
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 5 +++++
contrib/mysql/make-datafile.sh | 2 +-
contrib/mysql/sum2xml.sh | 2 +-
3 files changed, 7 insertions(+), 2 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
