gitignore - add coverage_scanner

[ocean] / csrc / .gitignore

diff --git a/csrc/.gitignore b/csrc/.gitignore
index f8a607bb45d9d5da3a4e58c7b1718224a5d87b4c..5deb8a5cc0127368bbb98c46f97256d521640a8b 100644 (file)
--- a/csrc/.gitignore
+++ b/csrc/.gitignore
@@ -8,6 +8,7 @@ scanner
 calc
 oceani
 coverage_oceani
+coverage_scanner
 coverage/
 itest*
 *.cgm