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 /scripts/build/patches/libcxx40.patch | |
| 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 'scripts/build/patches/libcxx40.patch')
0 files changed, 0 insertions, 0 deletions