X-Git-Url: https://ocean-lang.org/code/?p=ocean;a=blobdiff_plain;f=tools%2Fmark-untested;h=96aeb2c4ff41aa032b1b6b53876321c372902130;hp=1dd8db2cb889030d2ee45c9baef17df2f1f9871c;hb=002a71e19a00ba60303b3406bfe3e5da3c828f5d;hpb=275179e690be95edba2948803e350e161c7d7c7c

diff --git a/tools/mark-untested b/tools/mark-untested
index 1dd8db2..96aeb2c 100755
--- a/tools/mark-untested
+++ b/tools/mark-untested
@@ -9,7 +9,7 @@ case $1 in
 
   * )
 	rm coverage/*.mdc.gcov
-	make SKIP_VALGRIND=1 oceani_test_suite || exit 1
+	make SKIP_VALGRIND=1 SKIP_COVERAGE_CHECK=1 oceani_test_suite || exit 1
 	for i in coverage/*.mdc.gcov
 	do
 	 b=${i%.gcov}