diff options
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/analysis/platform/PlatformInfo.java')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/analysis/platform/PlatformInfo.java | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/analysis/platform/PlatformInfo.java b/src/main/java/com/google/devtools/build/lib/analysis/platform/PlatformInfo.java index bfee814b6c..a5f29fc4f4 100644 --- a/src/main/java/com/google/devtools/build/lib/analysis/platform/PlatformInfo.java +++ b/src/main/java/com/google/devtools/build/lib/analysis/platform/PlatformInfo.java @@ -208,11 +208,6 @@ public class PlatformInfo extends NativeInfo { return this; } - /** Returns the data being sent to a potential remote executor. */ - public String getRemoteExecutionProperties() { - return remoteExecutionProperties; - } - /** * Sets the data being sent to a potential remote executor. * |