1 files changed, 8 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/remote/RemoteOptions.java b/src/main/java/com/google/devtools/build/lib/remote/RemoteOptions.java
index 35dd9f5841..ebbf4fd487 100644
--- a/src/main/java/com/google/devtools/build/lib/remote/RemoteOptions.java
+++ b/src/main/java/com/google/devtools/build/lib/remote/RemoteOptions.java
@@ -30,6 +30,14 @@ public final class RemoteOptions extends OptionsBase {
   public String remoteRestCache;
 
   @Option(
+    name = "remote_rest_cache_pool_size",
+    defaultValue = "20",
+    category = "remote",
+    help = "Size of the HTTP pool for making requests to the REST cache."
+  )
+  public int restCachePoolSize;
+
+  @Option(
     name = "hazelcast_node",
     defaultValue = "null",
     category = "remote",