make/JrtfsJar.gmk
changeset 33953 7e7d0a4c718b
parent 33438 35cd6a1619df
parent 33926 3a19edba4808
child 36506 17612cee3530
--- a/make/JrtfsJar.gmk	Thu Nov 12 10:38:57 2015 -0800
+++ b/make/JrtfsJar.gmk	Mon Nov 16 21:19:13 2015 -0800
@@ -35,7 +35,8 @@
   SOURCE_FILES := $(JDK_TOPDIR)/make/data/mainmanifest/manifest.mf, \
   OUTPUT_FILE := $(SUPPORT_OUTPUTDIR)/java-main-manifest.mf, \
   REPLACEMENTS := \
-      @@RELEASE@@ => $(RELEASE) ; \
+      @@VERSION_SPECIFICATION@@ => $(VERSION_SPECIFICATION) ; \
+      @@VERSION_SHORT@@ => $(VERSION_SHORT) ; \
       @@COMPANY_NAME@@ => $(COMPANY_NAME) , \
 ))