commit 5d40a55c568d185d1b3be15cef366bdf2b2b4a10
author Clément Béra <clementbera@google.com> Mon Nov 14 10:54:44 2022 +0100
committer Clément Béra <clementbera@google.com> Mon Nov 14 10:54:44 2022 +0100
tree 1925e2fc7e59e1ec87971f82e974a815c40d3214
parent e99ead19da0de217b808b9c52d4754381e0ff046

Download Jdk11 head desugared lib dependency

Change-Id: Ia5a8a0f3fe236b67e74901b16c54a3e4ea51a6e8

tools/archive_desugar_jdk_libs.py

diff --git a/tools/archive_desugar_jdk_libs.py b/tools/archive_desugar_jdk_libs.py
index 862f7af..08f453e 100755
--- a/tools/archive_desugar_jdk_libs.py
+++ b/tools/archive_desugar_jdk_libs.py
@@ -160,6 +160,8 @@
   cmd = ["mkdir", subpath]
   subprocess.check_call(cmd)
   dest = os.path.join(subpath, "android.jar")
+  sha = os.path.join(utils.THIRD_PARTY, "android_jar", "lib-v32.tar.gz.sha1")
+  utils.DownloadFromGoogleCloudStorage(sha)
   src = os.path.join(utils.THIRD_PARTY, "android_jar", "lib-v32", "android.jar")
   cmd = ["cp", src, dest]
   subprocess.check_call(cmd)