Add support for custom build options.

Changelog

@@ -1,3 +1,4 @@
+- Add support for custom build options.
 - Unconditional staff and user oidentd home config access from Dominick Grift.
 - Conditional mmap_zero support from Dominick Grift.
 - Added devtmpfs support.

Makefile

@@ -196,6 +196,10 @@ ifneq ($(OUTPUT_POLICY),)
 	CHECKPOLICY += -c $(OUTPUT_POLICY)
 endif
 
+ifneq "$(CUSTOM_BUILDOPT)" ""
+	M4PARAM += $(foreach opt,$(CUSTOM_BUILDOPT),-D $(opt))
+endif
+
 # if not set, use the type as the name.
 NAME ?= $(TYPE)
 

build.conf

@@ -52,6 +52,12 @@ MONOLITHIC = y
 # Enable UBAC for role separations.
 UBAC = y
 
+# Custom build options.  This field enables custom
+# build options.  Putting foo here will enable
+# build option blocks named foo.  Options should be
+# separated by spaces.
+CUSTOM_BUILDOPT =
+
 # Number of MLS Sensitivities
 # The sensitivities will be s0 to s(MLS_SENS-1).
 # Dominance will be in increasing numerical order