diff options
Diffstat (limited to 'src/Makefile.housekeeping')
-rw-r--r-- | src/Makefile.housekeeping | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/src/Makefile.housekeeping b/src/Makefile.housekeeping index 264b9d0f9..a02acc8dd 100644 --- a/src/Makefile.housekeeping +++ b/src/Makefile.housekeeping @@ -720,6 +720,33 @@ config/named.h : $(CONFIG_LIST) .PRECIOUS : config/named.h +# (Single-element) list of assertion configuration +# +ASSERT_LIST := $(BIN)/.assert.list +ifeq ($(wildcard $(ASSERT_LIST)),) +ASSERT_OLD := <invalid> +else +ASSERT_OLD := $(shell cat $(ASSERT_LIST)) +endif +ifneq ($(ASSERT_OLD),$(ASSERT)) +$(shell $(ECHO) "$(ASSERT)" > $(ASSERT_LIST)) +endif + +$(ASSERT_LIST) : $(MAKEDEPS) + +VERYCLEANUP += $(ASSERT_LIST) + +# Assertion configuration +# +ifneq ($(ASSERT),) +CFLAGS += -DASSERTING=$(ASSERT) +endif + +include/assert.h : $(ASSERT_LIST) + $(Q)$(TOUCH) $@ + +.PRECIOUS : include/assert.h + # These files use .incbin inline assembly to include a binary file. # Unfortunately ccache does not detect this dependency and caches # builds even when the binary file has changed. |