From: NeilBrown <neil@brown.name>
Date: Tue, 9 Nov 2021 05:05:50 +0000 (+1100)
Subject: mark-tested: don't fail if coverage is too low
X-Git-Url: https://ocean-lang.org/code/?a=commitdiff_plain;h=002a71e19a00ba60303b3406bfe3e5da3c828f5d;hp=002a71e19a00ba60303b3406bfe3e5da3c828f5d;p=ocean

mark-tested: don't fail if coverage is too low

As the whole point of mark-tested is to help improve coverage, it is
silly to rail if coverage is too low.
So make it possible to easily skip that test in the Makefile.

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