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

author Ivan Maidanski <ivmai@mail.ru>

Wed, 15 Feb 2017 21:41:00 +0000 (00:41 +0300)

committer Ivan Maidanski <ivmai@mail.ru>

Mon, 3 Apr 2017 20:25:51 +0000 (23:25 +0300)
author Ivan Maidanski <ivmai@mail.ru>
Wed, 15 Feb 2017 21:41:00 +0000 (00:41 +0300)
committer Ivan Maidanski <ivmai@mail.ru>
Mon, 3 Apr 2017 20:25:51 +0000 (23:25 +0300)
diff --git a/.gitignore b/.gitignore

index fff5b44f0571e40a3b43a33070fd71a6d8852a7f..561d979534dcad823d3a091c453bdd504c2b9284 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -53,6 +53,7 @@ Makefile
  # Code analysis tools:
  *.c.gcov
  *.h.gcov
+*.sancov
  /.sv*-dir
  /cov-int
  /coverage.info
author	Ivan Maidanski <ivmai@mail.ru>
	Wed, 15 Feb 2017 21:41:00 +0000 (00:41 +0300)
committer	Ivan Maidanski <ivmai@mail.ru>
	Mon, 3 Apr 2017 20:25:51 +0000 (23:25 +0300)