diff options
| author | David Spickett <david.spickett@linaro.org> | 2020-04-23 11:10:08 +0100 |
|---|---|---|
| committer | David Spickett <david.spickett@linaro.org> | 2020-04-28 13:13:46 +0000 |
| commit | 6273fc478b9c95c4ae8d42c9021f9428b1d43811 (patch) | |
| tree | 9564b82cc9e90dc4886835d30cbdea35453b1f53 /docker-run.sh | |
| parent | 0ce72e970e6cbb6c39469b503cdf65510f4f99d8 (diff) | |
Shellcheck fixes round 3
Now using the version that's
present in the bionic images.
Meaning we have more warnings
but can also set the minimum
level to ignore a lot of them.
Fix the check for whether
shellcheck supports --severity.
(we have pipefail on, but we
expect shellcheck to fail in
this case)
Change-Id: I296b8554591b7d327c75393e3924184abc6512b7
Diffstat (limited to 'docker-run.sh')
| -rwxr-xr-x | docker-run.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docker-run.sh b/docker-run.sh index ca347447..c626de11 100755 --- a/docker-run.sh +++ b/docker-run.sh @@ -2,6 +2,7 @@ set -euf -o pipefail +# shellcheck source=jenkins-helpers.sh . "$(dirname $0)"/jenkins-helpers.sh convert_args_to_variables "$@" shift "$SHIFT_CONVERTED_ARGS" |