equal
deleted
inserted
replaced
2493 settings_file_specified = true; |
2493 settings_file_specified = true; |
2494 } |
2494 } |
2495 if (match_option(option, "-XX:+PrintVMOptions", &tail)) { |
2495 if (match_option(option, "-XX:+PrintVMOptions", &tail)) { |
2496 PrintVMOptions = true; |
2496 PrintVMOptions = true; |
2497 } |
2497 } |
|
2498 if (match_option(option, "-XX:-PrintVMOptions", &tail)) { |
|
2499 PrintVMOptions = false; |
|
2500 } |
2498 } |
2501 } |
2499 |
2502 |
2500 // Parse default .hotspotrc settings file |
2503 // Parse default .hotspotrc settings file |
2501 if (!settings_file_specified) { |
2504 if (!settings_file_specified) { |
2502 if (!process_settings_file(".hotspotrc", false, args->ignoreUnrecognized)) { |
2505 if (!process_settings_file(".hotspotrc", false, args->ignoreUnrecognized)) { |