jdk/make/launcher/LauncherCommon.gmk
changeset 34012 b8b34f35e2ee
parent 33406 4680f7495292
parent 34005 bb40b397f7c6
child 34013 79c21cd6fcfc
--- a/jdk/make/launcher/LauncherCommon.gmk	Thu Nov 05 08:15:41 2015 -0800
+++ b/jdk/make/launcher/LauncherCommon.gmk	Mon Nov 09 10:57:01 2015 -0800
@@ -162,9 +162,7 @@
       OPTIMIZATION := $$($1_OPTIMIZATION_ARG), \
       CFLAGS := $$($1_CFLAGS) \
           $(LAUNCHER_CFLAGS) \
-          -DFULL_VERSION='"$(FULL_VERSION)"' \
-          -DJDK_MAJOR_VERSION='"$(JDK_MAJOR_VERSION)"' \
-          -DJDK_MINOR_VERSION='"$(JDK_MINOR_VERSION)"' \
+          $(VERSION_CFLAGS) \
           -DLAUNCHER_NAME='"$(LAUNCHER_NAME)"' \
           -DPROGNAME='"$1"' $(DPACKAGEPATH) \
           $2, \
@@ -198,7 +196,7 @@
           -D "JDK_FTYPE=0x1L" \
           $7, \
       MANIFEST := $(JAVA_MANIFEST), \
-      MANIFEST_VERSION := $(JDK_VERSION_FOR_MANIFEST), \
+      MANIFEST_VERSION := $(VERSION_NUMBER_FOUR_POSITIONS), \
       CODESIGN := $$($1_CODESIGN), \
   )