Searched refs:CACHEDIR (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/hake/
H A Dhake.sh17 CACHEDIR="$HOME/.cache/barrelfish"
44 echo " --cachedir: Cache directory (default $CACHEDIR)."
132 CACHEDIR="$2"
175 if test ! -d "$CACHEDIR"; then
176 mkdir -p "$CACHEDIR"
177 chmod g+rw "$CACHEDIR"
203 cache_dir = "$CACHEDIR"

Completed in 34 milliseconds