summaryrefslogtreecommitdiff
path: root/makefiledir/Makefile.config_writer
diff options
context:
space:
mode:
Diffstat (limited to 'makefiledir/Makefile.config_writer')
-rw-r--r--makefiledir/Makefile.config_writer4
1 files changed, 4 insertions, 0 deletions
diff --git a/makefiledir/Makefile.config_writer b/makefiledir/Makefile.config_writer
index e2c698e99..0c3d669d3 100644
--- a/makefiledir/Makefile.config_writer
+++ b/makefiledir/Makefile.config_writer
@@ -27,6 +27,10 @@ $(MAKE_CONFIG):
$(call CONFIG_LINE,SUPRESS_LANG_ERRORS:=$(SUPRESS_LANG_ERRORS))
$(call CONFIG_LINE,)
+ $(call CONFIG_LINE,\# Enable asserts)
+ $(call CONFIG_LINE,ENABLE_ASSERTS:=$(ENABLE_ASSERTS))
+ $(call CONFIG_LINE,)
+
$(call CONFIG_LINE,\# See Makefile for details on these paths)
$(call CONFIG_LINE,\# Folders should not end with /)
$(call CONFIG_LINE,INSTALL:=$(INSTALL))