diff options
author | Ben Elliston <bje@gnu.org> | 2018-07-20 11:08:08 +1000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-07-20 11:08:08 +1000 |
commit | d611c4560778591e5c4f3f147fe9ba8334691e6e (patch) | |
tree | bf8bd90c721a54be33b8b019c8d53d5e503d4ded /lib | |
parent | 366485ce630d46b726f97b6e1d6a42b750fb52cb (diff) | |
download | dejagnu-d611c4560778591e5c4f3f147fe9ba8334691e6e.zip dejagnu-d611c4560778591e5c4f3f147fe9ba8334691e6e.tar.gz dejagnu-d611c4560778591e5c4f3f147fe9ba8334691e6e.tar.bz2 |
* contrib/sum2junit.sh: Eliminate some Shellcheck warnings:
Double quote to prevent globbing and word splitting. [SC2086]
egrep is non-standard and deprecated. Use grep -E instead. [SC2196]
read without -r will mangle backslashes. [SC2162]
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions