makefiledir/Makefile.config_writer
changeset 4324 9682c016b892
parent 3900 2c84ed52709d
child 5108 aeaef6fe53b7
--- a/makefiledir/Makefile.config_writer	Sun Aug 20 13:39:33 2006 +0000
+++ b/makefiledir/Makefile.config_writer	Sun Aug 20 13:48:04 2006 +0000
@@ -32,6 +32,8 @@
 
 	$(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)