Repair coverage (as Pkg gets installed to $HOME/.julia

oscar-system · Mar 10, 2019 · 7c213dd · 7c213dd
1 parent 63e23ec
commit 7c213dd
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/etc/gather_coverage.jl b/etc/gather_coverage.jl
@@ -6,9 +6,7 @@ using Coverage
 import JSON
 
 # gather coverage
-data = Codecov.process_folder("pkg/GAPJulia/JuliaInterface")
-append!(data, Codecov.process_folder("pkg/GAPJulia/JuliaExperimental"))
-append!(data, Codecov.process_folder())
+data = Codecov.process_folder(ENV["HOME"])
 data_dict = Codecov.to_json(data)
 
 # write it to a file for the upload script