Fix mixup about the directory containing the success indicator file
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
diff --git a/tests/scripts/basic-build-test.sh b/tests/scripts/basic-build-test.sh
index 2be62b4..cf68b4e 100755
--- a/tests/scripts/basic-build-test.sh
+++ b/tests/scripts/basic-build-test.sh
@@ -159,7 +159,7 @@
# A failure of the left-hand side of a pipe is ignored (this is a limitation
# of sh). We'll use the presence of this file as a marker that the generation
# of the report succeeded.
-rm -f "basic-build-test-$$.ok"
+rm -f "tests/basic-build-test-$$.ok"
{
@@ -272,6 +272,8 @@
echo "Branches Tested : $BRANCHES_TESTED of $BRANCHES_TOTAL $BRANCHES_PERCENT%"
echo
+ # Mark the report generation as having succeeded. This must be the
+ # last thing in the report generation.
touch "basic-build-test-$$.ok"
} | tee coverage-summary.txt
@@ -284,4 +286,4 @@
# The file must exist, otherwise it means something went wrong while generating
# the coverage report. If something did go wrong, rm will complain so this
# script will exit with a failure status.
-rm "basic-build-test-$$.ok"
+rm "tests/basic-build-test-$$.ok"