forked from diffblue/cbmc
-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
In Travis, when jobs have the 'cache: ccache' option set, Travis automatically adds the location of the ccache wrappers around g++/clang++ to the head of the PATH environment variable. This means that when you invoke 'g++' or 'clang++' what you are actually invoking is ccache. However, our jobs execute 'ccache g++', which means we are actually invoking ccache on itself. This was causing very poor ccache hit rates.
- Loading branch information
1 parent
8897709
commit 7b6f849
Showing
1 changed file
with
10 additions
and
10 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters