diff --git a/src/main/java/com/google/devtools/common/options/OptionsParser.java b/src/main/java/com/google/devtools/common/options/OptionsParser.java index 5dbc3e22202322..4ed594a8ef32df 100644 --- a/src/main/java/com/google/devtools/common/options/OptionsParser.java +++ b/src/main/java/com/google/devtools/common/options/OptionsParser.java @@ -536,6 +536,13 @@ public String describeOptionsHtml(Escaper escaper, String productName) { for (Map.Entry> e : optionsByCategory.entrySet()) { List categorizedOptionsList = e.getValue(); + categorizedOptionsList = + categorizedOptionsList.stream() + .filter( + optionDef -> + Arrays.stream(optionDef.getOptionEffectTags()) + .noneMatch(effectTag -> effectTag.equals(OptionEffectTag.NO_OP))) + .collect(toImmutableList()); if (categorizedOptionsList.isEmpty()) { continue; }