diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-10 12:26:51 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-10 12:26:51 +0000 |
commit | e557699b996b906202ecdf2fa2e29f62a3cfd88a (patch) | |
tree | 590512e192cc1688baf4fb0edac326cb5e4b3d6b /reproduce/src/make/paper.mk | |
parent | 6dd16b871a04fe29d1805b110371b0a229876159 (diff) |
ccache ignored and disabled
ccache is a super annoying program in the context of the reproduction
pipeline. On systems that use it, the `gcc' and `g++' that are found in
PATH are actually calls to `ccache' (so it can manage their call)!
Two steps have been taken to ignore and disable ccache (if it isn't ignored
properly!): 1) when making symbolic links to compilers, if a directory
containing `ccache' is present in the PATH, it is first removed, then we
look for the low-level programs that we won't be building. 2) The
`CCACHE_DISABLE' environment variable is set to 1 where necessary (with the
other environment variables).
Diffstat (limited to 'reproduce/src/make/paper.mk')
0 files changed, 0 insertions, 0 deletions