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 | |
| 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.
| -rw-r--r-- | .travis.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 52aa8015f..27f50544e 100644 --- a/.travis.yml +++ b/.travis.yml @@ -34,6 +34,7 @@ before_script: - "./tools/setup.py" script: - "./tools/lint.py" +- bash -c "sleep 2100; pkill ninja" & - "./tools/build.py -j2" - "./tools/test.py $DENO_BUILD_PATH" before_deploy: | |