From 0d57d64e99e2c301955f312261cb5f24c0a8ca5d Mon Sep 17 00:00:00 2001
From: Marno van der Maas <34654485+marnovandermaas@users.noreply.github.com>
Date: Sat, 20 Jul 2024 00:49:13 +0100
Subject: [PATCH] Add coverage build files to ignore (#618)

This includes both the coverage library in /lib/coverage and the Sail
coverage tool in /sailcov
---
 .gitignore | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.gitignore b/.gitignore
index a9dcc1416..b0663bdfc 100644
--- 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