Due to a travis update on September 1, 2017, sudo: and dist: are required

This commit is contained in:
Adam Dunkels 2017-09-02 19:37:59 +02:00
parent 719f712307
commit 9e408d9f31

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