diff options
| author |   David Sugar <dsugar@tresys.com> | 2018-10-27 16:13:32 +0000 |
|---|---|---|
| committer |   Jason Zaman <jason@perfinion.com> | 2018-11-12 07:17:31 +0800 |
| commit | c47e5c0bc2b6d37dc78dab7bceeb64f665a10879 (patch) | |
| tree | c1002a0c048119d623653d41d0829035fe173c8a | |
| parent | system/init: Give init_spec_daemon_domain()s the "daemon" attribute (diff) | |
| download | hardened-refpolicy-c47e5c0bc2b6d37dc78dab7bceeb64f665a10879.tar.gz hardened-refpolicy-c47e5c0bc2b6d37dc78dab7bceeb64f665a10879.tar.bz2 hardened-refpolicy-c47e5c0bc2b6d37dc78dab7bceeb64f665a10879.zip | |
Update CUSTOM_BUILDOPT
Have Makefile include CUSTOM_BUILDOPT in generated build.conf
Update Makefile.devel to pass CUSTOM_BUILDOPT while building module
Signed-off-by: Dave Sugar <dsugar@tresys.com>
Signed-off-by: Jason Zaman <jason@perfinion.com>
| -rw-r--r-- | Makefile | 1 | ||||
| -rw-r--r-- | support/Makefile.devel | 4 |
2 files changed, 5 insertions, 0 deletions
@@ -547,6 +547,7 @@ endif $(verbose) echo "MONOLITHIC ?= n" >> $(headerdir)/build.conf $(verbose) echo "DIRECT_INITRC ?= $(DIRECT_INITRC)" >> $(headerdir)/build.conf $(verbose) echo "SYSTEMD ?= $(SYSTEMD)" >> $(headerdir)/build.conf + $(verbose) echo "CUSTOM_BUILDOPT ?= $(CUSTOM_BUILDOPT)" >> $(headerdir)/build.conf $(verbose) echo "override UBAC := $(UBAC)" >> $(headerdir)/build.conf $(verbose) echo "override MLS_SENS := $(MLS_SENS)" >> $(headerdir)/build.conf $(verbose) echo "override MLS_CATS := $(MLS_CATS)" >> $(headerdir)/build.conf diff --git a/support/Makefile.devel b/support/Makefile.devel index bcca2d985..f3daca11c 100644 --- a/support/Makefile.devel +++ b/support/Makefile.devel @@ -70,6 +70,10 @@ ifeq "$(UBAC)" "y" M4PARAM += -D enable_ubac endif +ifneq "$(CUSTOM_BUILDOPT)" "" + M4PARAM += $(foreach opt,$(CUSTOM_BUILDOPT),-D $(opt)) +endif + # default MLS/MCS sensitivity and category settings. MLS_SENS ?= 16 MLS_CATS ?= 1024 |