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

/seL4-test-master/
H A Dinit-build.sh16 SCRIPT_NAME=${0##*/}
21 echo "\"$SCRIPT_NAME\" should not be invoked from top-level directory" >&2
29 echo "\"$SCRIPT_NAME\" should be invoked from a build directory and not" \
/seL4-test-master/tools/seL4/cmake-tool/
H A Dinit-build.sh16 SCRIPT_NAME=${0##*/}
21 echo "\"$SCRIPT_NAME\" should not be invoked from top-level directory" >&2
29 echo "\"$SCRIPT_NAME\" should be invoked from a build directory and not" \

Completed in 28 milliseconds