diff options
Diffstat (limited to 'makefiledir/Makefile.config_writer')
-rw-r--r-- | makefiledir/Makefile.config_writer | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/makefiledir/Makefile.config_writer b/makefiledir/Makefile.config_writer index 0c3d669d3..55315a07c 100644 --- a/makefiledir/Makefile.config_writer +++ b/makefiledir/Makefile.config_writer @@ -27,8 +27,8 @@ $(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,\# Disable asserts. Leave them on for easier bug finding) + $(call CONFIG_LINE,DISABLE_ASSERTS:=$(DISABLE_ASSERTS)) $(call CONFIG_LINE,) $(call CONFIG_LINE,\# See Makefile for details on these paths) |