oceani: discard AssignRef and DeclareRef

[ocean] / tools / mark-untested

diff --git a/tools/mark-untested b/tools/mark-untested
index 96aeb2c4ff41aa032b1b6b53876321c372902130..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" |