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 | 6 |
1 files changed, 4 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 6a53a5a34a..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 @@ -34,7 +34,8 @@ import java.util.List; public class PlatformOptions extends FragmentOptions { @Option( - name = "experimental_host_platform", + name = "host_platform", + oldName = "experimental_host_platform", converter = BuildConfiguration.EmptyToNullLabelConverter.class, defaultValue = "@bazel_tools//platforms:host_platform", documentationCategory = OptionDocumentationCategory.UNDOCUMENTED, @@ -47,7 +48,8 @@ public class PlatformOptions extends FragmentOptions { // TODO(katre): Add execution platforms. @Option( - name = "experimental_platforms", + name = "platforms", + oldName = "experimental_platforms", converter = BuildConfiguration.LabelListConverter.class, defaultValue = "@bazel_tools//platforms:target_platform", documentationCategory = OptionDocumentationCategory.UNDOCUMENTED, |