make/JrtfsJar.gmk
changeset 34600 242c2cfbc666
parent 33953 7e7d0a4c718b
child 36506 17612cee3530
--- a/make/JrtfsJar.gmk	Mon Dec 07 17:05:03 2015 -0800
+++ b/make/JrtfsJar.gmk	Tue Dec 08 03:16:58 2015 +0100
@@ -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) , \
 ))