make/sanity-rules.gmk
changeset 2778 6df702c8ca19
parent 0 fd16c54261b3
child 3259 f86e6d4a49b4
--- a/make/sanity-rules.gmk	Wed Jul 05 16:51:35 2017 +0200
+++ b/make/sanity-rules.gmk	Fri Apr 17 15:37:20 2009 +0100
@@ -348,6 +348,8 @@
 ifeq ($(SPONSORS_SRC_AVAILABLE), true)
 	@$(ECHO) "   BUILD_SPONSORS = $(BUILD_SPONSORS) " >> $(MESSAGE_FILE)
 endif
+	@$(ECHO) "   DEBUG_CLASSFILES = $(DEBUG_CLASSFILES) " >> $(MESSAGE_FILE)
+	@$(ECHO) "   DEBUG_BINARIES = $(DEBUG_BINARIES) " >> $(MESSAGE_FILE)
 	@$(ECHO) "" >> $(MESSAGE_FILE)
 
 .PHONY: sanity settings pre-sanity insane \