X-Git-Url: https://ocean-lang.org/code/?p=ocean;a=blobdiff_plain;f=csrc%2Foceani-tests.mdc;h=9850f2563d611b17cf4856bbe052385c44d5f452;hp=8649f6e2e77290fe3dbde90f7d83835d67eee4c0;hb=abf0b309f6ee22d82ae0989fb78970afc4a105bc;hpb=241e92c09f8d0a9a42c74768a960d938db245ca9

diff --git a/csrc/oceani-tests.mdc b/csrc/oceani-tests.mdc
index 8649f6e..9850f25 100644
--- a/csrc/oceani-tests.mdc
+++ b/csrc/oceani-tests.mdc
@@ -72,9 +72,9 @@ arguments separated from the name by commas.  For each test, there is a section
 
 		@gcov -o coverage oceani.mdc > /dev/null 2> /dev/null
 		@mv *.gcov coverage ; [ -f .gcov ] && mv .gcov coverage
-		@ awk '/^ *[1-9]/ {ran+=1} /^ *###/ {skip+=1} \
+		@ awk '/NOTEST/ { next } /^ *[1-9]/ {ran+=1} /^ *###/ {skip+=1} \
 		    END {printf "coverage: %6.2f%%\n", ran * 100 / (ran + skip); \
-		         if (ran < (ran + skip) *0.90) exit(1) }' \
+		         if (ran < (ran + skip) *0.93) exit(1) }' \
 		        coverage/oceani.mdc.gcov
 		@rm -f .tmp*