Florian Walch 10cdf8c286 Travis: Cache third-party build directory. ...

Instead of just caching the third-party build output, cache the full
build directory. Always run make to ensure that updated dependencies
are downloaded.

2015-09-09 17:23:22 +02:00

..

common

Travis: Cache third-party build directory.

2015-09-09 17:23:22 +02:00

after_success.sh

Travis: Use gcov that matches the used compiler.

2015-07-08 07:42:16 -03:00

before_cache.sh

Travis: Cache third-party build directory.

2015-09-09 17:23:22 +02:00

before_install.sh

Travis: Refactor CI files, use container infrastructure.

2015-07-08 07:42:16 -03:00

before_script.sh

Travis: Check some configuration variables in before_script.

2015-07-08 07:42:16 -03:00

install.sh

Travis: Refactor CI files, use container infrastructure.

2015-07-08 07:42:16 -03:00

run_tests.sh

travis: Enable TSAN for sanity checking the terminal UI

2015-09-06 09:18:52 -03:00

script.sh

Travis: Refactor CI files, use container infrastructure.

2015-07-08 07:42:16 -03:00