From c7bbb99395c9e10a0b09995528e04da4dfadba05 Mon Sep 17 00:00:00 2001 From: NeilBrown Date: Wed, 3 Nov 2021 12:01:17 +1100 Subject: [PATCH] mark-untested: improve filter Don't add the mark for any section lines. Signed-off-by: NeilBrown --- tools/mark-untested | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" | -- 2.43.0