diff options
| author | Edward Thomson <ethomson@edwardthomson.com> | 2019-11-23 20:38:30 +1100 |
|---|---|---|
| committer | Edward Thomson <ethomson@edwardthomson.com> | 2019-11-24 16:49:35 +1100 |
| commit | c64b7aaa6ec8ba1c3d7e257a37ee21f982c93086 (patch) | |
| tree | ed7f82118fd0bcc821cdc108159bebc3b668347e /script | |
| parent | 7adc32d5250f63d8ae9ee921baef1280cdcf9696 (diff) | |
| download | libgit2-c64b7aaa6ec8ba1c3d7e257a37ee21f982c93086.tar.gz | |
ci: build our own valgrind
The valgrind in the PPA is broken and ignores `--exit-errorcode`.
Build and install our own.
Diffstat (limited to 'script')
0 files changed, 0 insertions, 0 deletions