]> granicus.if.org Git - gc/commitdiff
projects / gc / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 167b82b)
.gitignore: Ignore *.sancov (generated by ASan)
authorIvan Maidanski <ivmai@mail.ru>
Wed, 15 Feb 2017 21:42:22 +0000 (00:42 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Fri, 7 Apr 2017 08:07:39 +0000 (11:07 +0300)
.gitignore patch | blob | history

diff --git a/.gitignore b/.gitignore
index 7680dab05bcb3578e7e0ea93cf657b62df7842e1..6de8a9ebb241de80942c52b3503119e6018e0fff 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -144,6 +144,7 @@ stamp-h1
 *.c.gcov
 *.cc.gcov
 *.h.gcov
+*.sancov
 /.sv*-dir
 /cov-int
 /coverage.info
Unnamed repository; edit this file 'description' to name the repository.