diff options
| author | Javier Jardón <jjardon@gnome.org> | 2018-06-10 21:14:51 +0100 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2018-06-21 19:45:59 +0100 |
| commit | 0396d804f8698179e07aac8c67e8b4d6fae4e4e8 (patch) | |
| tree | f16f5c1a633fa4b469a5b11754c49bc3c487898f | |
| parent | fea856dd8ad17baf478dd6818e922328d5b7ccf2 (diff) | |
| download | buildstream-0396d804f8698179e07aac8c67e8b4d6fae4e4e8.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 |