projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 85a1160) | patch
Make ccache work with Clang on Travis (#1097)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 13 Sep 2017 21:13:35 +0000 (14:13 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Wed, 13 Sep 2017 21:13:35 +0000 (14:13 -0700)
commit1f11ea2b651aa6627f90d5be2afa225d07f56089
tree046af4a54e1240b74d80a06b038bb63eed2d7eactree
parent85a1160aa4cced39808e3e73ceff0e0b5ddc6f66commit | diff
Make ccache work with Clang on Travis (#1097)

This commit uses a workaround [0] to get ccache to work
with Clang on Travis.

[0] https://github.com/travis-ci/travis-ci/issues/5383#issuecomment-224630584
.travis.yml diff | blob | history