From 93b329417bba4ac4860628ebefc9fc64faec8cdf Mon Sep 17 00:00:00 2001 From: John Cater Date: Tue, 6 Feb 2018 07:25:19 -0800 Subject: Rename the host platform information in the configuration. Part of #4442. Change-Id: I21baffe59431ccd3d76754596ec2a605dbbe4354 PiperOrigin-RevId: 184678470 --- .../build/lib/analysis/PlatformConfiguration.java | 16 ++++------ .../lib/analysis/PlatformConfigurationLoader.java | 5 +-- .../devtools/build/lib/skyframe/ToolchainUtil.java | 36 +++++++++++++--------- 3 files changed, 28 insertions(+), 29 deletions(-) (limited to 'src/main/java') diff --git a/src/main/java/com/google/devtools/build/lib/analysis/PlatformConfiguration.java b/src/main/java/com/google/devtools/build/lib/analysis/PlatformConfiguration.java index 97c7f4fc29..fb051b542a 100644 --- a/src/main/java/com/google/devtools/build/lib/analysis/PlatformConfiguration.java +++ b/src/main/java/com/google/devtools/build/lib/analysis/PlatformConfiguration.java @@ -37,7 +37,7 @@ public class PlatformConfiguration extends BuildConfiguration.Fragment { public static final ObjectCodec CODEC = new PlatformConfiguration_AutoCodec(); - private final Label executionPlatform; + private final Label hostPlatform; private final ImmutableList