diff options
Diffstat (limited to 'tools/build_defs/repo/utils.bzl')
| -rw-r--r-- | tools/build_defs/repo/utils.bzl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/build_defs/repo/utils.bzl b/tools/build_defs/repo/utils.bzl index b76bac960e..4839b3e73b 100644 --- a/tools/build_defs/repo/utils.bzl +++ b/tools/build_defs/repo/utils.bzl @@ -66,9 +66,13 @@ def patch(ctx): """Implementation of patching an already extracted repository""" bash_exe = ctx.os.environ["BAZEL_SH"] if "BAZEL_SH" in ctx.os.environ else "bash" for patchfile in ctx.attr.patches: - command = "{patchtool} -p0 < {patchfile}".format( + command = "{patchtool} {patch_args} < {patchfile}".format( patchtool = ctx.attr.patch_tool, patchfile = ctx.path(patchfile), + patch_args = " ".join([ + "'%s'" % arg + for arg in ctx.attr.patch_args + ]), ) st = ctx.execute([bash_exe, "-c", command]) if st.return_code: |