Simple REST URL cache
--
Change-Id: Ied34278c63c74aaf2db5ad90d5f076b3bddbe396
Reviewed-on: https://bazel-review.git.corp.google.com/#/c/4061/
MOS_MIGRATED_REVID=128165927
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 da8c3b9..78747c8 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
@@ -22,6 +22,16 @@
*/
public final class RemoteOptions extends OptionsBase {
@Option(
+ name = "rest_cache_url",
+ defaultValue = "null",
+ category = "remote",
+ help =
+ "A base URL for a RESTful cache server for storing build artifacts."
+ + "It has to support PUT, GET, and HEAD requests."
+ )
+ public String restCacheUrl;
+
+ @Option(
name = "hazelcast_node",
defaultValue = "null",
category = "remote",
