Add coverage build files to ignore (#618)

This includes both the coverage library in /lib/coverage and the Sail coverage tool in /sailcov
rems-project · Jul 19, 2024 · 0d57d64 · 0d57d64
1 parent 574ccb2
commit 0d57d64
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -47,6 +47,12 @@ lib/hol/sail-heap
 
 /lib/isabelle/output
 
+# Sail coverage
+/lib/coverage/Cargo.lock
+/lib/coverage/target
+/lib/coverage/libsail_coverage.a
+/sailcov/sailcov
+
 # location specific things
 
 /doc/code_riscv