From: NeilBrown <neil@brown.name>
Date: Wed, 3 Nov 2021 01:01:17 +0000 (+1100)
Subject: mark-untested: improve filter
X-Git-Url: https://ocean-lang.org/code/?p=ocean;a=commitdiff_plain;h=c7bbb99395c9e10a0b09995528e04da4dfadba05;hp=73aaa11833e35b28c84696f4d69739adbb14467d

mark-untested: improve filter

Don't add the mark for any section lines.

Signed-off-by: NeilBrown <neil@brown.name>
---

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