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

/seL4-test-master/tools/seL4/misc/
H A Dis-valid-shell-script15 die () { function
64 die "\"checkbashisms\" command not found; is the \"devscripts\" package" \
70 die "\"file\" command not found; is the \"file\" package installed?"
75 die "\"python3\" command not found; is the \"python3\" package installed?"
97 die "script \"$FILE\" has non-POSIX features"
117 die "script \"$FILE\" failed syntax check"
/seL4-test-master/
H A Dgriddle116 die () { function
137 die "CMake cache file \"$CMAKECACHE\" unexpectedly does not exist!"
145 cmake $CMAKE_ARGS . || die "cmake failed"
212 die "run this tool from a build directory (e.g., \"mkdir build; cd build\")"
222 die "run this tool from a build directory (e.g., \"mkdir ../build;" \
230 die "cannot find \"$REPO_DIR\" in this directory or its parent;" \
242 die "\"$EASY_KNOBS\" does not exist or is not readable;" \
302 die "$EASY_KNOBS:$CMAKE_LINENO: I don't know how to handle \"$LINE\""
484 die "unsupported configuration variable type \"$TYPE\" (\"$FLAG\")"
495 die "getop
[all...]
/seL4-test-master/tools/seL4/cmake-tool/
H A Dgriddle116 die () { function
137 die "CMake cache file \"$CMAKECACHE\" unexpectedly does not exist!"
145 cmake $CMAKE_ARGS . || die "cmake failed"
212 die "run this tool from a build directory (e.g., \"mkdir build; cd build\")"
222 die "run this tool from a build directory (e.g., \"mkdir ../build;" \
230 die "cannot find \"$REPO_DIR\" in this directory or its parent;" \
242 die "\"$EASY_KNOBS\" does not exist or is not readable;" \
302 die "$EASY_KNOBS:$CMAKE_LINENO: I don't know how to handle \"$LINE\""
484 die "unsupported configuration variable type \"$TYPE\" (\"$FLAG\")"
495 die "getop
[all...]
/seL4-test-master/tools/seL4/cmake-tool/helpers/
H A Dmake-uimage36 die () { function
74 die "\"$ELF_FILE\" does not appear to be an ELF file"
98 die "\"$OBJCOPY\" does not exist or is not executable"
106 die "unrecognized (ARM) architecture \"$ARCHITECTURE\""
H A Dshoehorn.py53 def die(message: str, status: int = 3): function
218 die('ELF-loader image "{image}" of size 0x{size:x} does not fit within'
/seL4-test-master/tools/riscv-pk/machine/
H A Dmtrap.h65 #define assert(x) ({ if (!(x)) die("assertion failed: %s", #x); })
66 #define die(str, ...) ({ printm("%s:%d: " str "\n", __FILE__, __LINE__, ##__VA_ARGS__); poweroff(-1); }) macro
H A Dmtrap.c22 die("machine mode: unhandlable trap %d @ %p", read_csr(mcause), mepc);

Completed in 74 milliseconds