diff --git a/makefiledir/Makefile.config_writer b/makefiledir/Makefile.config_writer --- a/makefiledir/Makefile.config_writer +++ b/makefiledir/Makefile.config_writer @@ -29,6 +29,7 @@ CONFIG_LINE=@$(SHELL) -c 'echo $(1)' >> $(call CONFIG_LINE,SUPRESS_LANG_ERRORS:=$(SUPRESS_LANG_ERRORS)) $(call CONFIG_LINE,WITH_NETWORK:=$(WITH_NETWORK)) $(call CONFIG_LINE,DEDICATED:=$(DEDICATED)) + $(call CONFIG_LINE,GPMI:=$(GPMI)) $(call CONFIG_LINE,) $(call CONFIG_LINE,\# Disable asserts. Leave them on for easier bug finding)