diff --git a/src/LocalCoverage.jl b/src/LocalCoverage.jl index 6be9c11..a1da9a8 100644 --- a/src/LocalCoverage.jl +++ b/src/LocalCoverage.jl @@ -76,6 +76,16 @@ Clean up after [`generate_coverage`](@ref). """ function clean_coverage(pkg) Coverage.clean_folder(Pkg.dir(pkg)) + for path in DEPOT_PATH + isdir(path) || continue + try + Coverage.clean_folder(path) + catch e + if !(e isa SystemError #= eg. permission denied =#) + rethrow() + end + end + end rm(Pkg.dir(pkg, COVDIR); force = true, recursive = true) end