diff options
author | Ivan Maidanski <ivmai@mail.ru> | 2017-02-16 00:42:22 +0300 |
---|---|---|
committer | Ivan Maidanski <ivmai@mail.ru> | 2017-02-16 00:42:22 +0300 |
commit | ef78e7a242c9f6a88260e2120512ab6d9b810090 (patch) | |
tree | 5a9928c31cbe79f9ee6d865b26396b1c17e579d3 | |
parent | d2be0456b63164feeff55b12b9a219c46422fede (diff) | |
download | bdwgc-ef78e7a242c9f6a88260e2120512ab6d9b810090.tar.gz |
.gitignore: Ignore *.sancov (generated by ASan)
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -145,6 +145,7 @@ stamp-h1 *.c.gcov *.cc.gcov *.h.gcov +*.sancov /.sv*-dir /cov-int /coverage.info |