diff options
| author | Ben Elliston <bje@gnu.org> | 2016-04-17 20:20:08 +1000 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2016-04-17 20:20:08 +1000 |
| commit | db72659fda602e65fc329cd7a3b66ac1d9832e01 (patch) | |
| tree | a57ff118b49f7ae8ebfedd4bbd2a9400aa3da2c8 /Makefile.in | |
| parent | 1fd529da0d4122da7dd5d24cb1823da1f9ccec38 (diff) | |
| download | dejagnu-db72659fda602e65fc329cd7a3b66ac1d9832e01.zip dejagnu-db72659fda602e65fc329cd7a3b66ac1d9832e01.tar.gz dejagnu-db72659fda602e65fc329cd7a3b66ac1d9832e01.tar.bz2 | |
Reported by shellcheck.
* runtest: Use $((..)) not `expr ..` and defensively double quote
shell variables.
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions