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

/seL4-test-master/
H A Dinit-build.sh14 SCRIPT_PATH=${0%/*}
19 if [ "$PWD" = "$SCRIPT_PATH" ]
38 CACHE_DIR="$SCRIPT_PATH/.sel4_cache"
41 if [ -e "$SCRIPT_PATH/CMakeLists.txt" ]
45 cmake -DCMAKE_TOOLCHAIN_FILE="$SCRIPT_PATH"/kernel/gcc.cmake -G Ninja "$@" \
46 -DSEL4_CACHE_DIR="$CACHE_DIR" -C "$SCRIPT_PATH/settings.cmake" "$SCRIPT_PATH"
51 real_easy_settings="$(realpath $SCRIPT_PATH/easy-settings.cmake)"
/seL4-test-master/tools/seL4/cmake-tool/
H A Dinit-build.sh14 SCRIPT_PATH=${0%/*}
19 if [ "$PWD" = "$SCRIPT_PATH" ]
38 CACHE_DIR="$SCRIPT_PATH/.sel4_cache"
41 if [ -e "$SCRIPT_PATH/CMakeLists.txt" ]
45 cmake -DCMAKE_TOOLCHAIN_FILE="$SCRIPT_PATH"/kernel/gcc.cmake -G Ninja "$@" \
46 -DSEL4_CACHE_DIR="$CACHE_DIR" -C "$SCRIPT_PATH/settings.cmake" "$SCRIPT_PATH"
51 real_easy_settings="$(realpath $SCRIPT_PATH/easy-settings.cmake)"

Completed in 26 milliseconds