diff options
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/analysis/PlatformOptions.java')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/analysis/PlatformOptions.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/analysis/PlatformOptions.java b/src/main/java/com/google/devtools/build/lib/analysis/PlatformOptions.java index eb33cb0056..ed2e45248b 100644 --- a/src/main/java/com/google/devtools/build/lib/analysis/PlatformOptions.java +++ b/src/main/java/com/google/devtools/build/lib/analysis/PlatformOptions.java @@ -20,8 +20,8 @@ import com.google.devtools.build.lib.analysis.config.FragmentOptions; import com.google.devtools.build.lib.cmdline.Label; import com.google.devtools.common.options.Option; import com.google.devtools.common.options.OptionDocumentationCategory; -import com.google.devtools.common.options.proto.OptionFilters.OptionEffectTag; -import com.google.devtools.common.options.proto.OptionFilters.OptionMetadataTag; +import com.google.devtools.common.options.OptionEffectTag; +import com.google.devtools.common.options.OptionMetadataTag; import java.util.List; /** Command-line options for platform-related configuration. */ |