mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-17 01:24:33 +02:00
Merge
This commit is contained in:
commit
9978f9b065
96 changed files with 1551 additions and 901 deletions
|
@ -235,8 +235,6 @@ void Arguments::init_system_properties() {
|
|||
|
||||
// Set OS specific system properties values
|
||||
os::init_system_properties_values();
|
||||
|
||||
JVMCI_ONLY(JVMCIRuntime::init_system_properties(&_system_properties);)
|
||||
}
|
||||
|
||||
// Update/Initialize System properties after JDK version number is known
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue