ccache/ccache.sh

   1 # Use ccache by default.  Users who don't want that can set the CCACHE_DISABLE
   2 # environment variable in their personal profile.
   3
   4 case ":${PATH:-}:" in
   5     *:@LIBDIR@/ccache:*) ;;
   6     *) PATH="@LIBDIR@/ccache${PATH:+:$PATH}" ;;
   7 esac
   8
   9 # If @CACHEDIR@ is writable, use a shared cache there.  Users who don't
  10 # want that even if they have that write permission can set the CCACHE_DIR
  11 # and unset the CCACHE_UMASK environment variables in their personal profile.
  12
  13 if [ -z "${CCACHE_DIR:-}" ] && [ -w @CACHEDIR@ ] && [ -d @CACHEDIR@ ] ; then
  14     export CCACHE_DIR=@CACHEDIR@
  15     export CCACHE_UMASK=002
  16     unset CCACHE_HARDLINK
  17 fi
  18
  19 export CCACHE_HASHDIR=