diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-08-22 11:45:20 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-08-22 11:47:11 +0200 |
| commit | a5fc1aa04dab639bd087bd5110a0a7af7f6daef8 (patch) | |
| tree | 272f623fb3ecdb6bc92f31c080bb0b7f528f9f2b /share | |
| parent | 17d644901bbd770578619545bbd8bc930fe6f2d9 (diff) | |
| parent | 46f83453701fc6116d97de6a16986388ba63488f (diff) | |
Merge #13765: contrib: add gitian build support for github pull request
46f83453701fc6116d97de6a16986388ba63488f contrib: Support github pull request gitian-build (Chun Kuan Lee)
Pull request description:
- Add `-p` or `--pull` to specify the version is github pull request number
- `./gitian-build.py -bpDn test 13765` should work. This is helpful for someone want to try cross compiling.
Tree-SHA512: b474b089127ffb2a67a42d99c1888bd5812a5ba725c8915a13a01cf93bde32b5b5011314e4193fa6b231caa5de2137e709ee5aa5bf889c4ac60a97aa83caac5c
Diffstat (limited to 'share')
0 files changed, 0 insertions, 0 deletions