aboutsummaryrefslogtreecommitdiffhomepage
path: root/WORKSPACE
diff options
context:
space:
mode:
authorGravatar Bill Feng <yfen@google.com>2018-11-26 10:26:07 -0800
committerGravatar Bill Feng <yfen@google.com>2018-11-26 10:26:07 -0800
commit1e53e3c17fdca56340a5c2ceb8261b77fa1cb1a7 (patch)
tree0ac20a20e91c3d1037cfe607701468a8fc648d1c /WORKSPACE
parent5810b53df3e4ef338f610a71d4a8443f665a2bc6 (diff)
added back platform registration to WORKSPACE
Diffstat (limited to 'WORKSPACE')
-rw-r--r--WORKSPACE4
1 files changed, 4 insertions, 0 deletions
diff --git a/WORKSPACE b/WORKSPACE
index 1340ba0c6b..cd2718204d 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -6,6 +6,10 @@ grpc_deps()
grpc_test_only_deps()
+register_execution_platforms(
+ "//third_party/toolchains:all",
+)
+
register_toolchains(
"//third_party/toolchains:all",
)