make/common/Release.gmk

Print this page

        

@@ -1309,12 +1309,12 @@
         $(BOOT_JAVA_CMD) -jar $(DIRDIFF_JARFILE) \
            $(PREV_JDK_IMAGE_DIR) $(JDK_IMAGE_DIR) | $(SORT) > $@
         @$(java-vm-cleanup)
 
 # Clean up names in the messages printed out
-CAT_FILTER = $(SED) -e "s@$(JDK_IMAGE_DIR)@JDK_IMAGE@g" \
-                    -e "s@$(JRE_IMAGE_DIR)@JRE_IMAGE@g"
+CAT_FILTER = $(SED) -e "s|$(JDK_IMAGE_DIR)|JDK_IMAGE|g" \
+                    -e "s|$(JRE_IMAGE_DIR)|JRE_IMAGE|g"
 
 # Report on the jre image comparison
 compare-image-jre: $(TEMP_PREV_JRE_COMPARISON)
         @$(ECHO) "JRE Image Comparison to version $(PREVIOUS_JDK_VERSION)"
         @$(ECHO) "  Previous: $(PREV_JRE_IMAGE_DIR)"