diff options
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/analysis/platform')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/analysis/platform/PlatformInfo.java | 5 |
1 files changed, 5 insertions, 0 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 a5f29fc4f4..bfee814b6c 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,6 +208,11 @@ 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. * |