diff options
| author | Marcel Raad <Marcel.Raad@teamviewer.com> | 2017-08-03 11:01:25 +0200 |
|---|---|---|
| committer | Marcel Raad <Marcel.Raad@teamviewer.com> | 2017-08-04 09:59:42 +0200 |
| commit | b7386c0ac96e70a5f2bddeea5ba742d56d1c1fb7 (patch) | |
| tree | 5de192917f58b74237b633462d6498270575f77b /Makefile.dist | |
| parent | fdb163c73aa8fdcea8e8fa96cd1f82a3ba74527b (diff) | |
travis: explicitly specify dist
This makes the builds more reproducible as travis is currently rolling
out trusty as default dist [1]. Specifically, this avoids coverage
check failures when trusty is used as seen in [2] until we figure out
what's wrong.
[1] https://blog.travis-ci.com/2017-07-11-trusty-as-default-linux-is-coming
[2] https://github.com/curl/curl/pull/1692
Closes https://github.com/curl/curl/pull/1725
Diffstat (limited to 'Makefile.dist')
0 files changed, 0 insertions, 0 deletions