mirror/mbedtls
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2025-04-02 07:20:26 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix mixup about the directory containing the success indicator file

Browse Source 
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
This commit is contained in:
Gilles Peskine 2021-07-22 12:29:27 +02:00
parent 6ee3b7ed1f
commit d8d19327d5
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tests/scripts/basic-build-test.sh
View File

@ -159,7 +159,7 @@ echo
# A failure of the left-hand side of a pipe is ignored (this is a limitation # 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 sh). We'll use the presence of this file as a marker that the generation
# of the report succeeded. # of the report succeeded.
rm -f "basic-build-test-$$.ok" rm -f "tests/basic-build-test-$$.ok"
{ {
@ -272,6 +272,8 @@ rm -f "basic-build-test-$$.ok"
echo "Branches Tested : $BRANCHES_TESTED of $BRANCHES_TOTAL $BRANCHES_PERCENT%" echo "Branches Tested : $BRANCHES_TESTED of $BRANCHES_TOTAL $BRANCHES_PERCENT%"
echo echo
# Mark the report generation as having succeeded. This must be the
# last thing in the report generation.
touch "basic-build-test-$$.ok" touch "basic-build-test-$$.ok"
} | tee coverage-summary.txt } | tee coverage-summary.txt
@ -284,4 +286,4 @@ fi
# The file must exist, otherwise it means something went wrong while generating # 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 # the coverage report. If something did go wrong, rm will complain so this
# script will exit with a failure status. # script will exit with a failure status.
rm "basic-build-test-$$.ok" rm "tests/basic-build-test-$$.ok"