diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2017-09-13 14:13:35 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2017-09-13 14:13:35 -0700 |
commit | 1f11ea2b651aa6627f90d5be2afa225d07f56089 (patch) | |
tree | 046af4a54e1240b74d80a06b038bb63eed2d7eac /src/theory/builtin | |
parent | 85a1160aa4cced39808e3e73ceff0e0b5ddc6f66 (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
Diffstat (limited to 'src/theory/builtin')
0 files changed, 0 insertions, 0 deletions