From 9c23692ad251743e1bdcce142b43bc6d4b2e333f Mon Sep 17 00:00:00 2001
From: David Spickett <david.spickett@linaro.org>
Date: Fri, 1 May 2020 15:38:17 +0100
Subject: jenkins-helpers.sh: Add pwd check function

Used in other scripts to check that pwd
isnt / before deleting things.

Change-Id: Id3e284a486f300c97e92f730e84183340c999dd9
---
 round-robin.sh | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

(limited to 'round-robin.sh')

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
-- 
cgit v1.2.3