diff options
author | Javier Jardón <jjardon@gnome.org> | 2018-06-10 21:14:51 +0100 |
---|---|---|
committer | Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> | 2018-06-22 13:03:44 -0400 |
commit | be92cc8d7ff2dafee1a15b07a43802be01d5ad5a (patch) | |
tree | f61ff8f87db78d2f9106cbc3b9f3953fcf1245bf | |
parent | 3b1e869bd8c64750a2e725a523acd55dc8e94360 (diff) | |
download | buildstream-be92cc8d7ff2dafee1a15b07a43802be01d5ad5a.tar.gz |
Source plugin patch depends on host's patch
Issue #353
-rw-r--r-- | buildstream/plugins/sources/patch.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/buildstream/plugins/sources/patch.py b/buildstream/plugins/sources/patch.py index 4640de166..11b66b3ea 100644 --- a/buildstream/plugins/sources/patch.py +++ b/buildstream/plugins/sources/patch.py @@ -21,6 +21,10 @@ patch - apply locally stored patches ==================================== +**Host dependencies:** + + * patch + **Usage:** .. code:: yaml |