diff options
Diffstat (limited to 'tools/build_defs/repo/http.bzl')
| -rw-r--r-- | tools/build_defs/repo/http.bzl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/build_defs/repo/http.bzl b/tools/build_defs/repo/http.bzl index 02879f4b7e..fffe226d7f 100644 --- a/tools/build_defs/repo/http.bzl +++ b/tools/build_defs/repo/http.bzl @@ -119,6 +119,7 @@ _http_archive_attrs = { "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_content": attr.string(), @@ -239,6 +240,7 @@ Args: patches: A list of files that are to be applied as patches after extracting the archive. patch_tool: the patch(1) utility to use. + patch_args: arguments given to the patch tool, defaults to ["-p0"] patch_cmds: sequence of commands to be applied after patches are applied. """ |