Searched refs:SCRIPT_NAME (Results 1 - 2 of 2) sorted by last modified time

/seL4-camkes-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-camkes-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 84 milliseconds