diff options
| -rw-r--r-- | tools/remote-bazelrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/remote-bazelrc b/tools/remote-bazelrc index 9f11965e66..37688079a5 100644 --- a/tools/remote-bazelrc +++ b/tools/remote-bazelrc @@ -27,6 +27,7 @@ # for a remote machine to execute them. build:remote_shared --jobs=200 build:remote_shared --disk_cache= +build:remote_shared --remote_download_minimal # Set several flags related to specifying the platform, toolchain and java # properties. |