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

/seL4-test-master/
H A Dinit-build.sh34 if [ -d "$HOME/.sel4_cache" ]
36 CACHE_DIR="$HOME/.sel4_cache"
/seL4-test-master/tools/seL4/cmake-tool/
H A Dinit-build.sh34 if [ -d "$HOME/.sel4_cache" ]
36 CACHE_DIR="$HOME/.sel4_cache"
/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dcmakerepl21 set(state_dir "$ENV{HOME}/.cmakerepl/tid/")
22 set(history_file $ENV{HOME}/.cmakerepl/history)

Completed in 61 milliseconds