oceani: update min_depth promptly.

[ocean] / csrc / .gitignore

diff --git a/csrc/.gitignore b/csrc/.gitignore
index d954089366ed32ac60a36675d9079f509a331d4f..5deb8a5cc0127368bbb98c46f97256d521640a8b 100644 (file)
--- a/csrc/.gitignore
+++ b/csrc/.gitignore
@@ -7,5 +7,10 @@ parsergen
 scanner
 calc
 oceani
+coverage_oceani
+coverage_scanner
+coverage/
 itest*
 *.cgm
+*.gcno
+.tmp.*