oceani: handle some more untested code.

[ocean] / tools / mark-untested

diff --git a/tools/mark-untested b/tools/mark-untested
index d88d24a8d656554da4a11af3286faba2d80bd12c..83b7b5f852f945d9bdd3c93719494d58aca31bb4 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}
@@ -17,7 +17,7 @@ case $1 in
         if [ ! -f "$b" ]; then 
            continue
         fi
-        grep '#####:' "$i" | grep -vE '(NOTEST|UNTESTED|:######|}\$$|:$|:[     ]*(\||\$))' |
+        grep '#####:' "$i" | grep -vE '(NOTEST|UNTESTED|:      *##|}\$$|:$)' |
             awk -F: '{printf "%ds,$,   // UNTESTED,\n", $2}' |
             sed -i -e 's,[      ]*// UNTESTED$,,' -f - "$b"
          grep '[0-8]: *[1-9][0-9]*:.*// NOTEST$' "$i" |