diff options
| author | David Spickett <david.spickett@linaro.org> | 2020-03-31 17:25:48 +0100 |
|---|---|---|
| committer | David Spickett <david.spickett@linaro.org> | 2020-04-01 14:06:19 +0000 |
| commit | 3d395a131a6117b901afb70aa2c72af1e8caca92 (patch) | |
| tree | b9c094fb35035deed3c46377b36dc24c6be5f8de /sanity-check.sh | |
| parent | 8324d749177d43dd827840b3e1a53794b1a7724b (diff) | |
sanity-check.sh: Add script to shellcheck jenkins-scripts
This will be run by the "tcwg-jenkins-scripts-sanity-check"
job in Jenkins.
Placed in a seperate script for running locally and so we
can configure error checking without regenerating the job.
Change-Id: I6dd58ff4b96244266af8ff2ccbbb69d21de36d2e
Diffstat (limited to 'sanity-check.sh')
| -rwxr-xr-x | sanity-check.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/sanity-check.sh b/sanity-check.sh new file mode 100755 index 00000000..18445694 --- /dev/null +++ b/sanity-check.sh @@ -0,0 +1,4 @@ +#!/bin/bash +set -eu -o pipefail + +shellcheck "$(dirname "$0")"/*.sh |