From f25022e448035b72e0152e77f748d335bfdcfaf8 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 3 Sep 2020 21:45:22 +0100
Subject: Remove caching of homebrew-built packages

The new build script doesn't use that facility anymore.
Remove it to avoid interfirence with ccache.
---
 .travis.yml | 2 --
 1 file changed, 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
-- 
cgit 1.4.1