diff options
author | David Spickett <david.spickett@linaro.org> | 2020-05-01 15:38:17 +0100 |
---|---|---|
committer | David Spickett <david.spickett@linaro.org> | 2020-05-05 12:11:32 +0000 |
commit | 9c23692ad251743e1bdcce142b43bc6d4b2e333f (patch) | |
tree | 5d145b34ff2cc24d0a824216a462e022ee3e4189 /round-robin.sh | |
parent | e5712005c171f9813cb02f9014f8feb850893c2c (diff) |
jenkins-helpers.sh: Add pwd check function
Used in other scripts to check that pwd
isnt / before deleting things.
Change-Id: Id3e284a486f300c97e92f730e84183340c999dd9
Diffstat (limited to 'round-robin.sh')
-rw-r--r-- | round-robin.sh | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/round-robin.sh b/round-robin.sh index 753c2824..be6f4d8b 100644 --- a/round-robin.sh +++ b/round-robin.sh @@ -1,5 +1,8 @@ #!/bin/bash +# shellcheck source=jenkins-helpers.sh +. "$(dirname $0)"/jenkins-helpers.sh + # Round-Robin associative array. declare -gA rr @@ -418,11 +421,7 @@ build_llvm () rsync -a --del llvm/clang/ llvm-src/tools/clang/ rsync -a --del llvm/lld/ llvm-src/tools/lld/ - # Sanity check - if [[ $(pwd) == "/" ]]; then - echo "pwd is unexpectedly \"/\", exiting" - exit 1; - fi + sanity_check_pwd # Setup ccache and ninja wrappers. # shellcheck disable=SC2115 |