diff options
Diffstat (limited to 'third_party/repo.bzl')
| -rw-r--r-- | third_party/repo.bzl | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/third_party/repo.bzl b/third_party/repo.bzl index d6e5dfced0..c29fef9629 100644 --- a/third_party/repo.bzl +++ b/third_party/repo.bzl @@ -67,8 +67,11 @@ def _tf_http_archive(ctx): if ("mirror.bazel.build" not in ctx.attr.urls[0] or (len(ctx.attr.urls) < 2 and ctx.attr.name not in _SINGLE_URL_WHITELIST)): - fail("tf_http_archive(urls) must have redundant URLs. The Bazel Mirror " + - "URL must come first. Please note mirroring happens after merge") + fail("tf_http_archive(urls) must have redundant URLs. The " + + "mirror.bazel.build URL must be present and it must come first. " + + "Even if you don't have permission to mirror the file, please " + + "put the correctly formatted mirror URL there anyway, because " + + "someone will come along shortly thereafter and mirror the file.") ctx.download_and_extract( ctx.attr.urls, "", |