oceani: mark some more UNTESTED code

[ocean] / tools / mark-untested

diff --git a/tools/mark-untested b/tools/mark-untested
index 83b7b5f852f945d9bdd3c93719494d58aca31bb4..57fe8698da31f0606337931da16084a83e482220 100755 (executable)
--- a/tools/mark-untested
+++ b/tools/mark-untested
@@ -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|:      *##|[0-9]:[     ]*}\$$|:$)' |
             awk -F: '{printf "%ds,$,   // UNTESTED,\n", $2}' |
             sed -i -e 's,[      ]*// UNTESTED$,,' -f - "$b"
          grep '[0-8]: *[1-9][0-9]*:.*// NOTEST$' "$i" |