Merge 1fc8d63f8b
into ab87ee6b48
This commit is contained in:
commit
aee6dfc1a0
|
@ -1,9 +1,9 @@
|
||||||
# XXX: Precise is already deprecated, new default is Trusty.
|
dist: trusty
|
||||||
# https://blog.travis-ci.com/2017-07-11-trusty-as-default-linux-is-coming
|
sudo: false
|
||||||
dist: precise
|
|
||||||
sudo: true
|
|
||||||
language: c
|
language: c
|
||||||
|
|
||||||
|
cache: ccache
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
include:
|
include:
|
||||||
- &test-ubuntu
|
- &test-ubuntu
|
||||||
|
@ -59,6 +59,7 @@ jobs:
|
||||||
|
|
||||||
- stage: test
|
- stage: test
|
||||||
compiler: gcc
|
compiler: gcc
|
||||||
|
sudo: true
|
||||||
addons:
|
addons:
|
||||||
apt:
|
apt:
|
||||||
packages:
|
packages:
|
||||||
|
|
Loading…
Reference in New Issue