blob: 4edbb51537ec1dadd87bdffeb7bb698fa21245fd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
# Use ccache by default. Users who don't want that can setenv the
# CCACHE_DISABLE environment variable in their personal profile.
if ( "$path" !~ *@LIBDIR@/ccache* ) then
set path = ( @LIBDIR@/ccache $path )
endif
# If @CACHEDIR@ is writable, use a shared cache there, except for root.
# Users who don't want that even if they have the write permission can setenv
# the CCACHE_DIR environment variable to another location and possibly unsetenv
# the CCACHE_UMASK environment variable in their personal profile.
if ( $?CCACHE_DIR ) then
if ( ! -w "$CCACHE_DIR" ) then
# Reset broken settings maybe inherited when switching users (#651023).
unsetenv CCACHE_DIR
unsetenv CCACHE_UMASK
endif
else if ( $uid != 0 ) then
if ( -w @CACHEDIR@ && -d @CACHEDIR@ ) then
# Set up the shared cache.
setenv CCACHE_DIR @CACHEDIR@
setenv CCACHE_UMASK 002
unsetenv CCACHE_HARDLINK
endif
endif
|
