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 | 3 |
1 files changed, 0 insertions, 3 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 51bfd8a15d..688e418fc4 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 @@ -19,7 +19,6 @@ import com.google.devtools.build.lib.analysis.config.BuildConfiguration; import com.google.devtools.build.lib.analysis.config.BuildConfiguration.LabelListConverter; import com.google.devtools.build.lib.analysis.config.FragmentOptions; import com.google.devtools.build.lib.cmdline.Label; -import com.google.devtools.build.lib.skyframe.serialization.ObjectCodec; import com.google.devtools.build.lib.skyframe.serialization.autocodec.AutoCodec; import com.google.devtools.common.options.Option; import com.google.devtools.common.options.OptionDocumentationCategory; @@ -29,8 +28,6 @@ import java.util.List; /** Command-line options for platform-related configuration. */ @AutoCodec(strategy = AutoCodec.Strategy.PUBLIC_FIELDS) public class PlatformOptions extends FragmentOptions { - public static final ObjectCodec<PlatformOptions> CODEC = new PlatformOptions_AutoCodec(); - @Option( name = "host_platform", oldName = "experimental_host_platform", |