diff options
author | David Spickett <david.spickett@linaro.org> | 2020-04-22 15:24:49 +0100 |
---|---|---|
committer | David Spickett <david.spickett@linaro.org> | 2020-04-23 12:54:33 +0100 |
commit | 52eb5a521c093601e3fba856599288bad7a5d96f (patch) | |
tree | 0e8a0c567c9d727becf411078f44cfc619c5f954 /sanity-check.sh | |
parent | 2382c087b5f0d51a4556c8c62f4723ab5a0ab7c9 (diff) |
Shellcheck fixes round 2
Also update the sanity check
script to include .job files.
Change-Id: Ibf72d9ff346ff7b012d4e282a6ac8f3b7e73590d
Diffstat (limited to 'sanity-check.sh')
-rwxr-xr-x | sanity-check.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sanity-check.sh b/sanity-check.sh index 1a3da79c..b3c34654 100755 --- a/sanity-check.sh +++ b/sanity-check.sh @@ -8,7 +8,7 @@ set -euf -o pipefail # ./sanity-check.sh script1.sh script2.sh if [[ "$#" -eq 0 ]]; then - files=($(find "$(dirname "$0")" -name "*.sh")) + files=($(find "$(dirname "$0")" -name "*.sh" -o -name "*.job")) else files=("${@}") fi |