tests: HOME is / not empty in CI, weirdly

CTSRD-CHERI · May 21, 2024 · d8e670f · d8e670f
1 parent 37a6b79
commit d8e670f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/run_jenkins_tests.sh b/tests/run_jenkins_tests.sh
@@ -13,7 +13,7 @@ esac
 set -e
 set -x
 
-if [ -z "${HOME:-}" ]; then
+if [ "${HOME:-/}" = "/" ]; then
   export HOME="$PWD/home"
   mkdir "$HOME"
 fi