jdk/src/java.base/share/native/libjli/java.h
changeset 43691 f3c0d65c7b17
parent 43325 033e4cced1dc
--- a/jdk/src/java.base/share/native/libjli/java.h	Tue Feb 07 13:45:26 2017 -0800
+++ b/jdk/src/java.base/share/native/libjli/java.h	Tue Feb 07 16:41:26 2017 -0800
@@ -71,7 +71,7 @@
 
 #define SPLASH_FILE_ENV_ENTRY "_JAVA_SPLASH_FILE"
 #define SPLASH_JAR_ENV_ENTRY "_JAVA_SPLASH_JAR"
-#define JAVA_OPTIONS "JAVA_OPTIONS"
+#define JDK_JAVA_OPTIONS "JDK_JAVA_OPTIONS"
 
 /*
  * Pointers to the needed JNI invocation API, initialized by LoadJavaVM.