| commit | 7bda621de4eaf2f9ab670d1ffaed5e374f5d872c | [log] [tgz] |
|---|---|---|
| author | Brian Silverman <bsilver16384@gmail.com> | Sun Aug 05 11:42:11 2018 -0700 |
| committer | Brian Silverman <bsilver16384@gmail.com> | Sun Aug 05 16:01:03 2018 -0700 |
| tree | b2a167e9dcb962743c0f7ceb3f56aa08cd494bcc | |
| parent | 9b1790e358de81b8d3e893c38bb868131eb04184 [diff] [blame] |
Download patch instead of requiring it to be installed Part of work to make the code build on a clean Stretch machine. Change-Id: I1f7b9b51a84a98bc178b05e575ae4b314cf69c1c
diff --git a/debian/patch.BUILD b/debian/patch.BUILD new file mode 100644 index 0000000..93f8e7f --- /dev/null +++ b/debian/patch.BUILD
@@ -0,0 +1,5 @@ +filegroup( + name = "patch", + srcs = ["usr/bin/patch"], + visibility = ["//visibility:public"], +)