The JDK_JAVA_OPTIONS environment variable is not honoured, fixes #429

This commit is contained in:
Guillaume Nodet
2021-06-17 13:55:11 +02:00
parent 7c8f17886c
commit d36a226112
5 changed files with 28 additions and 7 deletions

View File

@@ -84,6 +84,10 @@ public enum Environment {
USER_HOME("user.home", null, null, OptionType.PATH, Flags.NONE),
/** The current working directory */
USER_DIR("user.dir", null, null, OptionType.PATH, Flags.NONE),
/** The JDK_JAVA_OPTIONS option */
JDK_JAVA_OPTIONS("jdk.java.options", "JDK_JAVA_OPTIONS", "", OptionType.STRING, Flags.DISCRIMINATING) {
},
//
// Maven properties