jdk/make/common/Release.gmk
changeset 12604 4b1837b6c764
parent 12427 116544b5a04c
child 12605 1cd85c736535
equal deleted inserted replaced
12579:4cc5610a6dd6 12604:4b1837b6c764
  1309 	$(BOOT_JAVA_CMD) -jar $(DIRDIFF_JARFILE) \
  1309 	$(BOOT_JAVA_CMD) -jar $(DIRDIFF_JARFILE) \
  1310 	   $(PREV_JDK_IMAGE_DIR) $(JDK_IMAGE_DIR) | $(SORT) > $@
  1310 	   $(PREV_JDK_IMAGE_DIR) $(JDK_IMAGE_DIR) | $(SORT) > $@
  1311 	@$(java-vm-cleanup)
  1311 	@$(java-vm-cleanup)
  1312 
  1312 
  1313 # Clean up names in the messages printed out
  1313 # Clean up names in the messages printed out
  1314 CAT_FILTER = $(SED) -e "s@$(JDK_IMAGE_DIR)@JDK_IMAGE@g" \
  1314 CAT_FILTER = $(SED) -e "s|$(JDK_IMAGE_DIR)|JDK_IMAGE|g" \
  1315 	            -e "s@$(JRE_IMAGE_DIR)@JRE_IMAGE@g"
  1315 	            -e "s|$(JRE_IMAGE_DIR)|JRE_IMAGE|g"
  1316 
  1316 
  1317 # Report on the jre image comparison
  1317 # Report on the jre image comparison
  1318 compare-image-jre: $(TEMP_PREV_JRE_COMPARISON)
  1318 compare-image-jre: $(TEMP_PREV_JRE_COMPARISON)
  1319 	@$(ECHO) "JRE Image Comparison to version $(PREVIOUS_JDK_VERSION)"
  1319 	@$(ECHO) "JRE Image Comparison to version $(PREVIOUS_JDK_VERSION)"
  1320 	@$(ECHO) "  Previous: $(PREV_JRE_IMAGE_DIR)"
  1320 	@$(ECHO) "  Previous: $(PREV_JRE_IMAGE_DIR)"