vincenzopalazzo
/
arti
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge branch 'coverage-force' into 'main' 

maint: forcefully remove files in coverage

See merge request tpo/core/arti!1024
This commit is contained in:
Nick Mathewson 2023-02-17 13:04:19 +00:00
parent 1297dfb5e3 66fd697a73
commit 925017a1a5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
maint/coverage
View File

@ -65,7 +65,7 @@ if [ "$UNIT" = no ] && [ "$INTEGRATION" = no ]; then
fi
# Clear the old coverage report and profiling data.
rm -r coverage coverage_meta_{unit,integration} || true
rm -rf coverage coverage_meta_{unit,integration}
mkdir coverage
echo '<a href="all">all</a><br/>' > coverage/index.html