X-Git-Url: https://ocean-lang.org/code/?a=blobdiff_plain;ds=sidebyside;f=tools%2Fmark-untested;h=57fe8698da31f0606337931da16084a83e482220;hb=c1571dc004d832a6656664e814c238deb0f00513;hp=83b7b5f852f945d9bdd3c93719494d58aca31bb4;hpb=95aa82d18205907d4f4d73f43c1d6bf2a82af288;p=ocean

diff --git a/tools/mark-untested b/tools/mark-untested
index 83b7b5f..57fe869 100755
--- 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" |