diff options
-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 |