make/sanity-rules.gmk
changeset 2778 6df702c8ca19
parent 0 fd16c54261b3
child 3259 f86e6d4a49b4
equal deleted inserted replaced
2553:a8134c4ee2cf 2778:6df702c8ca19
   346 	@$(ECHO) "   BUILD_INSTALL = $(BUILD_INSTALL) " >> $(MESSAGE_FILE)
   346 	@$(ECHO) "   BUILD_INSTALL = $(BUILD_INSTALL) " >> $(MESSAGE_FILE)
   347 endif
   347 endif
   348 ifeq ($(SPONSORS_SRC_AVAILABLE), true)
   348 ifeq ($(SPONSORS_SRC_AVAILABLE), true)
   349 	@$(ECHO) "   BUILD_SPONSORS = $(BUILD_SPONSORS) " >> $(MESSAGE_FILE)
   349 	@$(ECHO) "   BUILD_SPONSORS = $(BUILD_SPONSORS) " >> $(MESSAGE_FILE)
   350 endif
   350 endif
       
   351 	@$(ECHO) "   DEBUG_CLASSFILES = $(DEBUG_CLASSFILES) " >> $(MESSAGE_FILE)
       
   352 	@$(ECHO) "   DEBUG_BINARIES = $(DEBUG_BINARIES) " >> $(MESSAGE_FILE)
   351 	@$(ECHO) "" >> $(MESSAGE_FILE)
   353 	@$(ECHO) "" >> $(MESSAGE_FILE)
   352 
   354 
   353 .PHONY: sanity settings pre-sanity insane \
   355 .PHONY: sanity settings pre-sanity insane \
   354 	post-sanity post-sanity-hotspot post-sanity-jdk \
   356 	post-sanity post-sanity-hotspot post-sanity-jdk \
   355 	post-sanity-install post-sanity-deploy \
   357 	post-sanity-install post-sanity-deploy \