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 /tcwg_bmk-build.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 'tcwg_bmk-build.sh')
| -rwxr-xr-x | tcwg_bmk-build.sh | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/tcwg_bmk-build.sh b/tcwg_bmk-build.sh index 8701d201..19ae14cc 100755 --- a/tcwg_bmk-build.sh +++ b/tcwg_bmk-build.sh @@ -146,11 +146,7 @@ benchmark () local bmk_cflags="$1" local results_id_file="$3" - # Sanity check - if [[ $(pwd) == "/" ]]; then - echo "pwd is unexpectedly \"/\", exiting" - exit 1; - fi + sanity_check_pwd # shellcheck disable=SC2115 rm -rf "$(pwd)"/bin |