mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-17 01:24:33 +02:00
Merge
This commit is contained in:
commit
5ce5d9f4cc
1055 changed files with 15640 additions and 10488 deletions
|
@ -2277,11 +2277,7 @@ bool Arguments::sun_java_launcher_is_altjvm() {
|
|||
#if INCLUDE_JVMCI
|
||||
// Check consistency of jvmci vm argument settings.
|
||||
bool Arguments::check_jvmci_args_consistency() {
|
||||
if (!EnableJVMCI && !JVMCIGlobals::check_jvmci_flags_are_consistent()) {
|
||||
JVMCIGlobals::print_jvmci_args_inconsistency_error_message();
|
||||
return false;
|
||||
}
|
||||
return true;
|
||||
return JVMCIGlobals::check_jvmci_flags_are_consistent();
|
||||
}
|
||||
#endif //INCLUDE_JVMCI
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue