Skip to content

Commit

Permalink
Flip --incompatible_use_specific_tool_files.
Browse files Browse the repository at this point in the history
See #8531.
  • Loading branch information
benjaminp committed Aug 8, 2019
1 parent e0f1c1c commit b7f18d0
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -864,7 +864,7 @@ public Label getFdoPrefetchHintsLabel() {

@Option(
name = "incompatible_use_specific_tool_files",
defaultValue = "false",
defaultValue = "true",
documentationCategory = OptionDocumentationCategory.UNDOCUMENTED,
effectTags = {OptionEffectTag.LOADING_AND_ANALYSIS},
metadataTags = {
Expand Down

0 comments on commit b7f18d0

Please sign in to comment.