mirror of
https://github.com/yuzu-emu/mbedtls.git
synced 2025-03-23 22:45:22 +00:00
Fix mixup about the directory containing the success indicator file
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
This commit is contained in:
parent
5cf753ae02
commit
eadd8ee250
|
@ -163,7 +163,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"
|
||||||
|
|
||||||
{
|
{
|
||||||
|
|
||||||
|
@ -276,6 +276,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
|
||||||
|
|
||||||
|
@ -288,4 +290,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"
|
||||||
|
|
Loading…
Reference in a new issue