Improve task_lint.sh robustness (#2711)
authorMarcus Shawcroft <marcus.shawcroft@arm.com>
Fri, 1 Mar 2019 18:09:35 +0000 (18:09 +0000)
committerTianqi Chen <tqchen@users.noreply.github.com>
Fri, 1 Mar 2019 18:09:35 +0000 (10:09 -0800)
commit3e02c971400a09b8e3eff2f90df2ccea3b16a5f3
treeb0461ac08346d80b94fe4e60a71618ba43d55ca6
parent236d7ef064b6c28d39b1b8870954548c854c9412
Improve task_lint.sh robustness (#2711)

* [SCRIPT] Refactor grep for multiple patterns

Tidy up the use of grep.  Use -E rather than run multiple grep
instances.

* [SCRIPT] Refactor grep use in pipeline.

Prefer to use stdin redirection rather than create a pipeline.

* [SCRIPT] Refactor placement and cleanup of temporary files.

Place temporary files in the conventional /tmp location. Avoid
poisoning file name space by using $$. Ensure the temporary files get
cleaned up, even when the script fails / exits early.

* [SCRIPT] Improve robustness of task_lint.sh error handling.

Ensure script failures are caught and propagated.  Rather than trying
to explicitly catch and propagate failures with explicit "|| exit"
annotations, use the "set -e" idom from docker/install scripts and
have the shell catch and propagate errors in the general case and
special case the grep instances where non zero exit is permitted and
should be ignored.
tests/scripts/task_lint.sh