diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-01-19 12:57:26 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-01-19 13:35:25 +0100 |
| commit | 528f444be9e838a093db13244ce689d4e70b5856 (patch) | |
| tree | 473ba5cd86d4bf0e6ab5fb76b68f1bca7ca660de /executor | |
| parent | 8aa587b0a13ba3f8e19b359b1e254cdf94a8b7ff (diff) | |
travis: switch to ubuntu 16.04
14.04 has way too old gcc.
In particular this causes build failures like:
https://travis-ci.org/google/syzkaller/jobs/481342304
Switch to 16.04.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions