jdk/make/gensrc/GensrcMisc.gmk
changeset 39302 aa8d0bc2a6d2
parent 36672 9e18f32e76c9
child 42365 5e640c2994d6
--- a/jdk/make/gensrc/GensrcMisc.gmk	Mon Jun 27 13:57:24 2016 -0700
+++ b/jdk/make/gensrc/GensrcMisc.gmk	Tue Jun 28 00:39:26 2016 +0200
@@ -34,7 +34,11 @@
         @@LAUNCHER_NAME@@ => $(LAUNCHER_NAME) ; \
         @@RUNTIME_NAME@@ => $(RUNTIME_NAME) ; \
         @@VERSION_SHORT@@ => $(VERSION_SHORT) ; \
-        @@VERSION_STRING@@ => $(VERSION_STRING), \
+        @@VERSION_STRING@@ => $(VERSION_STRING) ; \
+        @@VERSION_NUMBER@@ => $(VERSION_NUMBER) ; \
+        @@VERSION_PRE@@ => $(VERSION_PRE) ; \
+        @@VERSION_BUILD@@ => $(VERSION_BUILD) ; \
+        @@VERSION_OPT@@ => $(VERSION_OPT), \
 ))
 
 GENSRC_JAVA_BASE += $(BUILD_VERSION_JAVA)