Merge pull request #2317 from adamdunkels/hotfix-travis

Due to a travis update on September 1, 2017, sudo: and dist: are requ…
This commit is contained in:
Adam Dunkels 2017-09-21 10:03:30 +02:00 committed by GitHub
commit ea788f3719

View File

@ -1,6 +1,8 @@
# Workaround for the issue found in the stable image promoted on Dec 1, 2016.
# See https://github.com/travis-ci/travis-ci/issues/6928#issuecomment-264227708
group: deprecated
sudo: required
dist: precise
notifications:
email: false