3615 // If flag "-XX:Flags=flags-file" is used it will be the first option to be processed. |
3615 // If flag "-XX:Flags=flags-file" is used it will be the first option to be processed. |
3616 const char* hotspotrc = ".hotspotrc"; |
3616 const char* hotspotrc = ".hotspotrc"; |
3617 bool settings_file_specified = false; |
3617 bool settings_file_specified = false; |
3618 bool needs_hotspotrc_warning = false; |
3618 bool needs_hotspotrc_warning = false; |
3619 |
3619 |
|
3620 ArgumentsExt::process_options(args); |
|
3621 |
3620 const char* flags_file; |
3622 const char* flags_file; |
3621 int index; |
3623 int index; |
3622 for (index = 0; index < args->nOptions; index++) { |
3624 for (index = 0; index < args->nOptions; index++) { |
3623 const JavaVMOption *option = args->options + index; |
3625 const JavaVMOption *option = args->options + index; |
3624 if (match_option(option, "-XX:Flags=", &tail)) { |
3626 if (match_option(option, "-XX:Flags=", &tail)) { |