makefiledir/Makefile.config_writer
changeset 347 8b6874b7ed27
parent 285 cf5213c8a919
child 348 3345a78d37e4
--- a/makefiledir/Makefile.config_writer	Mon Nov 08 20:44:10 2004 +0000
+++ b/makefiledir/Makefile.config_writer	Mon Nov 08 21:11:52 2004 +0000
@@ -27,6 +27,10 @@
 	$(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,)
+	
 	$(call CONFIG_LINE,\# See Makefile for details on these paths)
 	$(call CONFIG_LINE,\# Folders should not end with /)
 	$(call CONFIG_LINE,INSTALL:=$(INSTALL))