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 | 16 |
1 files changed, 0 insertions, 16 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 c1d0877254..445f8e7684 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 @@ -45,19 +45,6 @@ public class PlatformOptions extends FragmentOptions { ) public Label hostPlatform; - @Option( - name = "host_platform_remote_properties_override", - oldName = "experimental_remote_platform_override", - defaultValue = "null", - category = "remote", - documentationCategory = OptionDocumentationCategory.UNCATEGORIZED, - effectTags = {OptionEffectTag.UNKNOWN}, - help = - "Manually set the remote_execution_properties for the host platform" - + " if it is not already set." - ) - public String hostPlatformRemotePropertiesOverride; - // TODO(katre): Add execution platforms. @Option( @@ -128,9 +115,6 @@ public class PlatformOptions extends FragmentOptions { host.hostPlatform = this.hostPlatform; host.extraToolchains = this.extraToolchains; host.enabledToolchainTypes = this.enabledToolchainTypes; - host.hostPlatformRemotePropertiesOverride = this.hostPlatformRemotePropertiesOverride; - host.toolchainResolutionDebug = this.toolchainResolutionDebug; - host.toolchainResolutionOverrides = this.toolchainResolutionOverrides; return host; } |