make/JrtfsJar.gmk
changeset 33926 3a19edba4808
parent 30534 5e259b665bbf
child 33953 7e7d0a4c718b
--- a/make/JrtfsJar.gmk	Wed Jul 05 20:36:16 2017 +0200
+++ b/make/JrtfsJar.gmk	Thu Jun 11 00:21:56 2015 +0200
@@ -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) , \
 ))