diff options
Diffstat (limited to 'tools/build_defs/repo/http.bzl')
| -rw-r--r-- | tools/build_defs/repo/http.bzl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/build_defs/repo/http.bzl b/tools/build_defs/repo/http.bzl index 2fda0bf76f..a884294d6e 100644 --- a/tools/build_defs/repo/http.bzl +++ b/tools/build_defs/repo/http.bzl @@ -109,13 +109,13 @@ _http_archive_attrs = { "sha256": attr.string(), "strip_prefix": attr.string(), "type": attr.string(), - "build_file": attr.label(), + "build_file": attr.label(allow_single_file = True), "build_file_content": attr.string(), "patches": attr.label_list(default = []), "patch_tool": attr.string(default = "patch"), "patch_args": attr.string_list(default = ["-p0"]), "patch_cmds": attr.string_list(default = []), - "workspace_file": attr.label(), + "workspace_file": attr.label(allow_single_file = True), "workspace_file_content": attr.string(), } |