mirror of
https://github.com/openjdk/jdk.git
synced 2025-09-18 18:14:38 +02:00
Merge
This commit is contained in:
commit
0be0ab5955
142 changed files with 787 additions and 526 deletions
|
@ -149,8 +149,8 @@ static bool match_option(const JavaVMOption *option, const char* name) {
|
|||
static bool match_option(const JavaVMOption* option, const char** names, const char** tail,
|
||||
bool tail_allowed) {
|
||||
for (/* empty */; *names != NULL; ++names) {
|
||||
if (match_option(option, *names, tail)) {
|
||||
if (**tail == '\0' || tail_allowed && **tail == ':') {
|
||||
if (match_option(option, *names, tail)) {
|
||||
if (**tail == '\0' || (tail_allowed && **tail == ':')) {
|
||||
return true;
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue