| commit | 7eeec65b849695e7bb1be072e6911694b8a02f54 | [log] [tgz] |
|---|---|---|
| author | Leopold <leo@monogon.tech> | Fri Jan 20 21:16:08 2023 +0100 |
| committer | Leopold Schabel <leo@monogon.tech> | Mon Jan 23 11:03:52 2023 +0000 |
| tree | affecceb6edb6eb561a0970eb762684930b5e53e | |
| parent | a9580a7970010d14ccbfe86c22483eeae9b7c05c [diff] [blame] |
third_party/sandboxroot: stabilize repo URLs Metalink output is not stable, pin mirrors instead. We need to set up our own caching proxy next, but this will do for now. Change-Id: Ibc6ea9672890d88022a9310afb92db824226351d Reviewed-on: https://review.monogon.dev/c/monogon/+/1087 Reviewed-by: Serge Bazanski <serge@monogon.tech> Tested-by: Jenkins CI
diff --git a/third_party/sandboxroot/regenerate.sh b/third_party/sandboxroot/regenerate.sh index b9e4256..512d305 100755 --- a/third_party/sandboxroot/regenerate.sh +++ b/third_party/sandboxroot/regenerate.sh
@@ -76,7 +76,7 @@ EOF -touch ${DIR}/repositories.bzl.in +echo > ${DIR}/repositories.bzl.in # Create new sandbox root bazel ${BAZEL_ARGS} \