diff options
author | bdrewery <bdrewery@FreeBSD.org> | 2016-06-08 14:02:21 +0000 |
---|---|---|
committer | bdrewery <bdrewery@FreeBSD.org> | 2016-06-08 14:02:21 +0000 |
commit | 5f4cfb164daba1fc43ca5ae205c58675294c74e1 (patch) | |
tree | 550837205e924127021b20d00f27abbfeb8a2f0d /share/mk | |
parent | 5bdc642eff02e8fe0de102415cd42d0eaeff802a (diff) | |
download | FreeBSD-src-5f4cfb164daba1fc43ca5ae205c58675294c74e1.zip FreeBSD-src-5f4cfb164daba1fc43ca5ae205c58675294c74e1.tar.gz |
Don't force filemon for makeman/showconfig
Reported by: lidl
Diffstat (limited to 'share/mk')
-rw-r--r-- | share/mk/sys.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/share/mk/sys.mk b/share/mk/sys.mk index 4a174f8..d52ba21 100644 --- a/share/mk/sys.mk +++ b/share/mk/sys.mk @@ -55,7 +55,8 @@ META_MODE+= missing-meta=yes META_MODE+= silent=yes .endif .if !exists(/dev/filemon) -.if ${UPDATE_DEPENDFILE:Uyes:tl} != "no" && !defined(NO_FILEMON) +.if ${UPDATE_DEPENDFILE:Uyes:tl} != "no" && !defined(NO_FILEMON) && \ + !make(showconfig) .error ${.newline}ERROR: The filemon module (/dev/filemon) is not loaded. .endif META_MODE+= nofilemon |