diff options
Diffstat (limited to 'makefiledir')
| -rw-r--r-- | makefiledir/Makefile.config_writer | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/makefiledir/Makefile.config_writer b/makefiledir/Makefile.config_writer index b0dd83b4b..166973b53 100644 --- a/makefiledir/Makefile.config_writer +++ b/makefiledir/Makefile.config_writer @@ -32,6 +32,8 @@ $(MAKE_CONFIG): $(call CONFIG_LINE,\# Disable asserts. Leave them on for easier bug finding) $(call CONFIG_LINE,DISABLE_ASSERTS:=$(DISABLE_ASSERTS)) + $(call CONFIG_LINE,\# Disable threads. Useful if you do not like it and for testing) + $(call CONFIG_LINE,NO_THREADS:=$(NO_THREADS)) $(call CONFIG_LINE,) $(call CONFIG_LINE,\# See Makefile for details on these paths) |