diff options
| author | Bert Belder <bertbelder@gmail.com> | 2018-08-24 17:37:59 +0200 |
|---|---|---|
| committer | Bert Belder <bertbelder@gmail.com> | 2018-08-24 20:57:32 +0200 |
| commit | 4b3a8be6407bf4a7a87ea9518a2e89a8e7820fcb (patch) | |
| tree | 5f96945def06e48a149b4f2c1fa136fc1042837c /tools/setup.py | |
| parent | 0208305fcd3a87baba7759100a0cbc6fe265b007 (diff) | |
travis: allow cache to be saved when build takes too long
Kill Ninja after 35 minutes to prevent Travis from cancelling the build
due to time-out. This allows the cache to be saved, so the build can
complete when it is attempted again.
Diffstat (limited to 'tools/setup.py')
0 files changed, 0 insertions, 0 deletions