fix(ci): relax the check when retain_paths is unset
If retain_paths is unset, the -eq comparison complains that it's not a
number. Using [[ ]] relaxes this and produces the expected result.
Signed-off-by: Boyan Karatotev <boyan.karatotev@arm.com>
Change-Id: I556eab309ccc4d59d0a28c3a46a79be4229f96bc
diff --git a/script/run_local_ci.sh b/script/run_local_ci.sh
index fbfd4f4..b290326 100755
--- a/script/run_local_ci.sh
+++ b/script/run_local_ci.sh
@@ -233,7 +233,7 @@
export -f run_one_test
workspace="${workspace:?}"
-if [ "$retain_paths" -eq 0 ]; then
+if [[ "$retain_paths" -eq 0 ]]; then
gcc_space="${gcc_space:?Environment variable 'gcc_space' must be set}"
fi
ci_root="$(readlink -f "$(dirname "$0")/..")"