mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-18 01:54:47 +02:00
8245717: VM option "-XX:EnableJVMCIProduct" could not be repetitively enabled
Reviewed-by: dholmes, kvn
This commit is contained in:
parent
00f223e22f
commit
1adecc8e3a
2 changed files with 9 additions and 1 deletions
|
@ -3042,6 +3042,10 @@ jint Arguments::parse_each_vm_init_arg(const JavaVMInitArgs* args, bool* patch_m
|
|||
return JNI_EINVAL;
|
||||
}
|
||||
} else if (match_option(option, "-XX:+EnableJVMCIProduct")) {
|
||||
// Just continue, since "-XX:+EnableJVMCIProduct" has been specified before
|
||||
if (EnableJVMCIProduct) {
|
||||
continue;
|
||||
}
|
||||
JVMFlag *jvmciFlag = JVMFlag::find_flag("EnableJVMCIProduct");
|
||||
// Allow this flag if it has been unlocked.
|
||||
if (jvmciFlag != NULL && jvmciFlag->is_unlocked()) {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue