mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-26 22:34:27 +02:00
Merge
This commit is contained in:
commit
ae3977cd76
1 changed files with 3 additions and 2 deletions
|
@ -156,6 +156,7 @@ JDK_MAN_PAGES = \
|
|||
jstack.1 \
|
||||
jstat.1 \
|
||||
jstatd.1 \
|
||||
jvisualvm.1 \
|
||||
native2ascii.1 \
|
||||
rmic.1 \
|
||||
schemagen.1 \
|
||||
|
@ -1311,8 +1312,8 @@ $(TEMP_PREV_JDK_COMPARISON): install-previous-jdk $(DIRDIFF_JARFILE)
|
|||
@$(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)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue