diff options
author | Bill Feng <yfen@google.com> | 2018-11-15 14:50:05 -0800 |
---|---|---|
committer | Bill Feng <yfen@google.com> | 2018-11-15 14:50:05 -0800 |
commit | 09b0b0b71207e716b990ed0fb8d1cfae435fbc43 (patch) | |
tree | e01e24cd00ebd422fd2577d5857cd555cbb787a7 /third_party | |
parent | 3f70672827018b97e7ce13be826d91e8455ce19f (diff) |
Attempting Eric Burnett's fix
Diffstat (limited to 'third_party')
-rw-r--r-- | third_party/toolchains/BUILD | 4 |
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", ], |