third_party/flatbuffers: use internal patching

2021-05-08 18:23:29 +00:00 · 2021-05-08 18:23:29 +00:00 · 7a4dbff730
parent 60c16c41cf
commit 7a4dbff730
2 changed files with 2 additions and 2 deletions
--- a/2
+++ b/2
@ -42,7 +42,7 @@ http_archive(
    patches = [
        "//third_party/flatbuffers:bashless.diff",
    ],
-    patch_args = ["-p",  "1"],
+    patch_args = ["-p1"],
 )

 http_archive(
--- a/third_party/flatbuffers/bashless.diff
+++ b/third_party/flatbuffers/bashless.diff
@ -44,4 +44,4 @@ index 88792be4..b1ea4b79 100644
 +        cmd_ps = genrule_cmd_ps,
         compatible_with = compatible_with,
         restricted_to = restricted_to,
-         message = ""
+         message = "Generating flatbuffer files for %s:" % (name),