https://pantsbuild.org/ logo
#general
Title
# general
w

wide-energy-11069

03/10/2020, 6:24 AM
alternatively i could add a hardcoded url:
Copy code
diff --git a/BUILD.tools b/BUILD.tools
index ed7ddc1..88463c4 100644
--- a/BUILD.tools
+++ b/BUILD.tools
@@ -80,7 +80,8 @@ jar_library(
 jar_library(
   name='javac9',
   jars = [
-    jar(org='java', name='javac', rev='9+181-r4173-1'),
+    jar(org='java', name='javac', rev='9+181-r4173-1',
+        url='<https://raw.githubusercontent.com/toolchainlabs/binhost/master/java/javac/9+181-r4173-1/javac-9+181-r4173-1.jar>'),
   ],
 )