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_kernel-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_kernel-build.sh')
| -rwxr-xr-x | tcwg_kernel-build.sh | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/tcwg_kernel-build.sh b/tcwg_kernel-build.sh index 1099e87c..ef8b4b0d 100755 --- a/tcwg_kernel-build.sh +++ b/tcwg_kernel-build.sh @@ -101,11 +101,7 @@ build_linux_1 () ( set -euf -o pipefail - # Sanity check - if [[ $(pwd) == "/" ]]; then - echo "pwd is unexpectedly \"/\", exiting" - exit 1; - fi + sanity_check_pwd clone_repo linux |