equal
deleted
inserted
replaced
2470 settings_file_specified = true; |
2470 settings_file_specified = true; |
2471 } |
2471 } |
2472 if (match_option(option, "-XX:+PrintVMOptions", &tail)) { |
2472 if (match_option(option, "-XX:+PrintVMOptions", &tail)) { |
2473 PrintVMOptions = true; |
2473 PrintVMOptions = true; |
2474 } |
2474 } |
|
2475 if (match_option(option, "-XX:-PrintVMOptions", &tail)) { |
|
2476 PrintVMOptions = false; |
|
2477 } |
2475 } |
2478 } |
2476 |
2479 |
2477 // Parse default .hotspotrc settings file |
2480 // Parse default .hotspotrc settings file |
2478 if (!settings_file_specified) { |
2481 if (!settings_file_specified) { |
2479 if (!process_settings_file(".hotspotrc", false, args->ignoreUnrecognized)) { |
2482 if (!process_settings_file(".hotspotrc", false, args->ignoreUnrecognized)) { |