.gitignore: Ignore *.sancov (generated by ASan)

diff --git a/.gitignore b/.gitignore
index 600c4ca687f64782c469a7fc9b32f005d213f04a..0e026ee1d42b82f6a797499d08a0cfc62a763154 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -72,6 +72,7 @@ Makefile.in
 # Code analysis tools:
 *.c.gcov
 *.h.gcov
+*.sancov
 /.sv*-dir
 /cov-int
 /coverage.info