diff --git a/share/mk/bsd.opts.mk b/share/mk/bsd.opts.mk index c062330b122b..28f96d3aa88e 100644 --- a/share/mk/bsd.opts.mk +++ b/share/mk/bsd.opts.mk @@ -73,6 +73,7 @@ __DEFAULT_NO_OPTIONS = \ COVERAGE \ CTF \ INSTALL_AS_USER \ + MAKE_CHECK_TEST_WITH_COVERAGE \ STALE_STAGED __DEFAULT_DEPENDENT_OPTIONS = \ @@ -84,6 +85,10 @@ __DEFAULT_DEPENDENT_OPTIONS = \ .include +.if ${MK_COVERAGE} == "no" || ${MK_MAKE_CHECK_USE_SANDBOX} == "no" +MK_MAKE_CHECK_WITH_COVERAGE:= no +.endif + # # Supported NO_* options (if defined, MK_* will be forced to "no", # regardless of user's setting).