commit a189ac32ac7b716d502d4585efb688b5821eb4fa
author Googler <steinman@google.com> Fri Mar 10 09:03:03 2023 -0800
committer Copybara-Service <copybara-worker@google.com> Fri Mar 10 09:04:23 2023 -0800
tree 9f70f1648c5a4e86ffa38aab907208f9ad9c0f4c
parent 2a8ab5bd774a9e7023a933efb1b64a0f1cce5ba3

Condense duplicate settings of --extra_execution_platforms into a single comma-separated list in anticipation of making --extra_execution_platform support overwrites.

This should be a no-op

PiperOrigin-RevId: 515650981
Change-Id: I6ade2e35969ed2300b7ab5dc2c9905e8dd764752

.bazelrc

diff --git a/.bazelrc b/.bazelrc
index 6ee970b..74accc5 100644
--- a/.bazelrc
+++ b/.bazelrc
@@ -16,8 +16,7 @@
 build:ubuntu1804_java11 --extra_toolchains=@rbe_ubuntu1804_java11//java:all
 build:ubuntu1804_java11 --crosstool_top=@rbe_ubuntu1804_java11//cc:toolchain
 build:ubuntu1804_java11 --extra_toolchains=@rbe_ubuntu1804_java11//config:cc-toolchain
-build:ubuntu1804_java11 --extra_execution_platforms=//:rbe_ubuntu1804_java11_platform
-build:ubuntu1804_java11 --extra_execution_platforms=//:rbe_ubuntu1804_java11_highcpu_platform
+build:ubuntu1804_java11 --extra_execution_platforms=//:rbe_ubuntu1804_java11_platform,//:rbe_ubuntu1804_java11_highcpu_platform
 build:ubuntu1804_java11 --host_platform=//:rbe_ubuntu1804_java11_platform
 build:ubuntu1804_java11 --platforms=//:rbe_ubuntu1804_java11_platform
 build:ubuntu1804_java11 --config=remote_shared