mark-tested: don't fail if coverage is too low

[ocean] / tools / mark-untested

diff --git a/tools/mark-untested b/tools/mark-untested
index 1dd8db2cb889030d2ee45c9baef17df2f1f9871c..96aeb2c4ff41aa032b1b6b53876321c372902130 100755 (executable)
--- a/tools/mark-untested
+++ b/tools/mark-untested
@@ -9,7 +9,7 @@ case $1 in
 
   * )
        rm coverage/*.mdc.gcov
-       make SKIP_VALGRIND=1 oceani_test_suite || exit 1
+       make SKIP_VALGRIND=1 SKIP_COVERAGE_CHECK=1 oceani_test_suite || exit 1
        for i in coverage/*.mdc.gcov
        do
         b=${i%.gcov}