mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-28 07:14:30 +02:00
Merge
This commit is contained in:
commit
67abf1eef9
19 changed files with 272 additions and 37 deletions
|
@ -3088,6 +3088,10 @@ jint Arguments::finalize_vm_init_args(bool patch_mod_javabase) {
|
|||
BytecodeVerificationRemote = true;
|
||||
log_info(cds)("All non-system classes will be verified (-Xverify:remote) during CDS dump time.");
|
||||
}
|
||||
|
||||
// Compilation is already disabled if the user specifies -Xshare:dump.
|
||||
// Disable compilation in case user specifies -XX:+DumpSharedSpaces instead of -Xshare:dump.
|
||||
set_mode_flags(_int);
|
||||
}
|
||||
if (UseSharedSpaces && patch_mod_javabase) {
|
||||
no_shared_spaces("CDS is disabled when " JAVA_BASE_NAME " module is patched.");
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue