run_jenkins_tests: Actually use the right test results path

CTSRD-CHERI · May 21, 2024 · 14257fb · 14257fb
1 parent 48277b1
commit 14257fb
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 @@ case $1 in
     ;;
 esac
 
-test_results="$PWD/$test_prefix-results.xml"
+test_results="$PWD/../$test_prefix-results.xml"
 
 if [ "${HOME:-/}" = "/" ]; then
   export HOME="$PWD/home"