trusty seems faster, try again

diff --git a/.travis.yml b/.travis.yml
index 848a362c27e776dbcca46bafa9f4a740784b75c2..a281b7e1bfc9fb7f97757257d2714bd287bce259 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,6 +1,7 @@
 # autogenerated file; do not edit
 language: c
-sudo: false
+sudo: required
+dist: trusty
 
 addons:
  apt:

diff --git a/scripts/gen_travis_yml.php b/scripts/gen_travis_yml.php
index 2a80a3734ba91d29a987f8a790711269bfe6ec16..0b282e5aece3511f2b4787e02fe80c0219b8a0e8 100755 (executable)
--- a/scripts/gen_travis_yml.php
+++ b/scripts/gen_travis_yml.php
@@ -1,7 +1,8 @@
 #!/usr/bin/env php
 # autogenerated file; do not edit
 language: c
-sudo: false
+sudo: required
+dist: trusty
 
 addons:
  apt: