diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-09-03 21:45:22 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-09-04 21:42:43 +0100 |
| commit | f25022e448035b72e0152e77f748d335bfdcfaf8 (patch) | |
| tree | 215033f4a824953d0ee4d19cf8a172bab34c4c2b /.travis.yml | |
| parent | 8ca2e6110f84272dfa45b63fb18e720c33402489 (diff) | |
| download | klee-f25022e448035b72e0152e77f748d335bfdcfaf8.tar.gz | |
Remove caching of homebrew-built packages
The new build script doesn't use that facility anymore. Remove it to avoid interfirence with ccache.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index c0436cad..a8759530 100644 --- a/.travis.yml +++ b/.travis.yml @@ -145,8 +145,6 @@ addons: cache: ccache: true apt: true - directories: - - $HOME/Library/Caches/Homebrew script: # Build KLEE and run tests |