aboutsummaryrefslogtreecommitdiffhomepage
path: root/third_party
diff options
context:
space:
mode:
authorGravatar Bill Feng <yfen@google.com>2018-11-15 14:50:05 -0800
committerGravatar Bill Feng <yfen@google.com>2018-11-15 14:50:05 -0800
commit09b0b0b71207e716b990ed0fb8d1cfae435fbc43 (patch)
treee01e24cd00ebd422fd2577d5857cd555cbb787a7 /third_party
parent3f70672827018b97e7ce13be826d91e8455ce19f (diff)
Attempting Eric Burnett's fix
Diffstat (limited to 'third_party')
-rw-r--r--third_party/toolchains/BUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/third_party/toolchains/BUILD b/third_party/toolchains/BUILD
index 4b075eb7dc..8b16b669df 100644
--- a/third_party/toolchains/BUILD
+++ b/third_party/toolchains/BUILD
@@ -88,8 +88,8 @@ toolchain(
"//third_party/toolchains/machine_size:large",
],
target_compatible_with = [
- "//third_party/toolchains:rbe_ubuntu1604",
- "//third_party/toolchains:rbe_ubuntu1604_large",
+ # "//third_party/toolchains:rbe_ubuntu1604",
+ # "//third_party/toolchains:rbe_ubuntu1604_large",
"@bazel_tools//platforms:linux",
"@bazel_tools//platforms:x86_64",
],