2007-07-29 22:38:31 +00:00
|
|
|
# Use ccache by default. Users who don't want that can set 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. Users who don't
|
|
|
|
|
# want that even if they have that write permission can set the CCACHE_DIR
|
|
|
|
|
# and unset the CCACHE_UMASK environment variables in their personal profile.
|
|
|
|
|
|
2009-12-19 11:44:52 +00:00
|
|
|
if ( ! $?CCACHE_DIR && -w @CACHEDIR@ && -d @CACHEDIR@ ) then
|
|
|
|
|
setenv CCACHE_DIR @CACHEDIR@
|
2007-07-29 22:38:31 +00:00
|
|
|
setenv CCACHE_UMASK 002
|
|
|
|
|
unsetenv CCACHE_HARDLINK
|
|
|
|
|
endif
|
