diff options
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 01bac7a1..7f7d236c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -100,6 +100,7 @@ addons: - lcov cache: + ccache: true apt: true directories: - $HOME/Library/Caches/Homebrew @@ -110,7 +111,7 @@ before_install: ########################################################################### # Update package information - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get update; fi - - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew update && brew tap klee/klee; fi + - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew update && brew tap klee/klee && brew install ccache && export PATH="/usr/local/opt/ccache/libexec:$PATH" ; fi ########################################################################### # Set up out of source build directory ########################################################################### |