aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Göttsche <cgzones@googlemail.com>2022-03-22 18:11:36 +0100
committerJason Zaman <perfinion@gentoo.org>2022-03-30 19:40:53 -0700
commit901d5bbe56a07b57a4bd4368bb82275c628f6a09 (patch)
tree1c8d2ec7a1a960c42a71e63bf749b9a26244143e /Makefile
parentRules.monolithic: add target to generate CIL policy (diff)
downloadhardened-refpolicy-901d5bbe56a07b57a4bd4368bb82275c628f6a09.tar.gz
hardened-refpolicy-901d5bbe56a07b57a4bd4368bb82275c628f6a09.tar.bz2
hardened-refpolicy-901d5bbe56a07b57a4bd4368bb82275c628f6a09.zip
Makefile: use override for adding options
When adding program options to checkpolicy and checkmodule use override to add them even when CHECKPOLICY or CHECKMODULE have been set by the caller. Signed-off-by: Christian Göttsche <cgzones@googlemail.com> Signed-off-by: Jason Zaman <perfinion@gentoo.org>
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile10
1 files changed, 5 insertions, 5 deletions
diff --git a/Makefile b/Makefile
index 9b5069b9..84c019f9 100644
--- a/Makefile
+++ b/Makefile
@@ -173,16 +173,16 @@ docsdir := $(prefix)/share/doc/$(PKGNAME)
# enable MLS if requested.
ifeq "$(TYPE)" "mls"
M4PARAM += -D enable_mls=true
- CHECKPOLICY += -M
- CHECKMODULE += -M
+ override CHECKPOLICY += -M
+ override CHECKMODULE += -M
gennetfilter += -m
endif
# enable MLS if MCS requested.
ifeq "$(TYPE)" "mcs"
M4PARAM += -D enable_mcs=true
- CHECKPOLICY += -M
- CHECKMODULE += -M
+ override CHECKPOLICY += -M
+ override CHECKMODULE += -M
gennetfilter += -c
endif
@@ -200,7 +200,7 @@ ifeq "$(SYSTEMD)" "y"
endif
ifneq ($(OUTPUT_POLICY),)
- CHECKPOLICY += -c $(OUTPUT_POLICY)
+ override CHECKPOLICY += -c $(OUTPUT_POLICY)
endif
ifneq "$(CUSTOM_BUILDOPT)" ""