From c2447a03085c66775b38a7027b470dc3dfb6f12e Mon Sep 17 00:00:00 2001
From: Jan Tattermusch <jtattermusch@google.com>
Date: Mon, 14 Oct 2019 10:20:33 -0400
Subject: [PATCH] switch RBE builds to use exec_properties

---
 WORKSPACE | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/WORKSPACE b/WORKSPACE
index b48e85017ff..49b1bc3b32b 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -25,6 +25,12 @@ rbe_autoconfig(
     name = "rbe_default",
 )
 
+# Same as @rbe_default except that the platform uses exec_properties instead of remote_execution_properties.
+rbe_autoconfig(
+    name = "rbe_default_exec_properties",
+    use_legacy_platform_definition = False,
+)
+
 load("@bazel_toolchains//rules:environments.bzl", "clang_env")
 load("@bazel_skylib//lib:dicts.bzl", "dicts")