2014-08-20 19:00:00 +02:00
|
|
|
# errata:
|
|
|
|
|
# - A travis bug causes caches to trample eachother when using the same
|
|
|
|
|
# compiler key (which we don't use anyway). This is worked around for now by
|
2014-10-10 05:23:44 +02:00
|
|
|
# replacing the "compilers" with a build name prefixed by the no-op ":"
|
2015-11-30 13:23:00 +01:00
|
|
|
# command. See: https://github.com/travis-ci/travis-ci/issues/4393
|
2016-02-09 23:17:09 +01:00
|
|
|
# - sudo/dist/group are set so as to get Blue Box VMs, necessary for [loopback]
|
|
|
|
|
# IPv6 support
|
|
|
|
|
|
|
|
|
|
sudo: required
|
2016-07-01 08:02:29 +02:00
|
|
|
dist: trusty
|
2014-08-20 19:00:00 +02:00
|
|
|
|
2016-07-01 08:02:29 +02:00
|
|
|
install: true
|
|
|
|
|
script: ./reproducible_build.sh -t
|
