diff options
Diffstat (limited to 'src/main/java/com/google/devtools/common/options/OptionsParserImpl.java')
-rw-r--r-- | src/main/java/com/google/devtools/common/options/OptionsParserImpl.java | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/main/java/com/google/devtools/common/options/OptionsParserImpl.java b/src/main/java/com/google/devtools/common/options/OptionsParserImpl.java index a818ec477f..aeb0da08f9 100644 --- a/src/main/java/com/google/devtools/common/options/OptionsParserImpl.java +++ b/src/main/java/com/google/devtools/common/options/OptionsParserImpl.java @@ -636,8 +636,7 @@ class OptionsParserImpl { value = equalsAt == -1 ? null : arg.substring(equalsAt + 1); field = optionsData.getFieldFromName(name); - // look for a "no"-prefixed option name: "no<optionname>"; - // (Undocumented: we also allow --no_foo. We're generous like that.) + // Look for a "no"-prefixed option name: "no<optionName>" or "no_<optionName>". if (field == null && name.startsWith("no")) { name = name.substring(name.startsWith("no_") ? 3 : 2); field = optionsData.getFieldFromName(name); |