summaryrefslogtreecommitdiff
path: root/makefiledir
diff options
context:
space:
mode:
Diffstat (limited to 'makefiledir')
-rw-r--r--makefiledir/Makefile.config_writer2
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)