/seL4-camkes-master/tools/seL4/misc/ |
H A D | is-valid-shell-script | 15 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-camkes-master/tools/rumprun/app-tools/ |
H A D | rumpstop | 3 die () 16 [ $# -eq 1 ] || die usage: rumpstop guest_spec 29 die invalid stack spec \"${stack}\"
|
H A D | rumprun | 49 die () 138 [ ! -d "${TMPDIR}" ] || die ${TMPDIR} already exists 139 mkdir -p "${TMPDIR}" || die could not create ${TMPDIR} 141 || { rm -rf "${TMPDIR}" ; die could not chmod ${TMPDIR}; } 149 [ -f "$1" ] || die "file not found: $1" 256 [ ${json_depth} -ne 0 ] || die internal json error 373 [ -n "${IMGSDIR}" ] || die 'internal error: $IMGSDIR not set' 380 || die image \"${image}\" already exists in images 415 [ -f "$image" ] || die "File $image does not exist" 431 || die 'Canno [all...] |
H A D | cc.in | 31 die() 100 "$@" !DESTDIR!/rumprun-!MACHINE_GNU_ARCH!/share/!TOOLTUPLE!-recipe.s ${EXTRALIBS} || die 128 die
|
H A D | cookfs.in | 48 die () 74 || die argument to -s must be a non-negative decimal 101 die cannot remove ${STRIPCOUNT} components from \"${arg}\"
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/scripts/ |
H A D | run-tests.sh | 6 die() { function 11 [ -n "$1" ] || die "Usage: $0 suite-name" 12 [ -n "$bindir" ] || die "Set bindir" 13 [ -n "$logdir" ] || die "Set logdir" 14 [ -n "$scriptdir" ] || die "Set scriptdir" 15 [ -n "$suites_srcdir" ] || die "Set suites_srcdir" 16 [ -n "$suites_builddir" ] || die "Set suites_builddir"
|
/seL4-camkes-master/tools/rumprun/tests/ |
H A D | runtests.sh | 30 cd $(dirname $0) || die 'could not enter test dir' 45 die () function 58 shift 2 || die not enough arguments to \"ddimage\" 63 || die imgsize \"${imgsize}\" not 512-byte aligned 76 [ -n "${img1}" ] || die runtest without a disk image 118 shift || die 'getoutput: not enough args' 137 [ $# -ge 1 ] || die "usage: runtests.sh [-S] kvm|qemu|xen" 148 [ $? -eq 0 ] || die failed to create datadir for testrun
|
/seL4-camkes-master/ |
H A D | griddle | 116 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-camkes-master/tools/seL4/cmake-tool/ |
H A D | griddle | 116 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-camkes-master/tools/seL4/cmake-tool/helpers/ |
H A D | make-uimage | 36 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 D | shoehorn.py | 53 def die(message: str, status: int = 3): function 218 die('ELF-loader image "{image}" of size 0x{size:x} does not fit within'
|
/seL4-camkes-master/tools/rumprun/ |
H A D | build-rr.sh | 29 die () function 71 type ${MAKE} >/dev/null 2>&1 || die '"make" required but not found' 123 || die argument to -j must be a number 170 [ -d ${PLATFORMDIR} ] || die Platform \"$PLATFORM\" not supported! 185 die invalid argument $1 250 die Xen headers not found 309 || die rumprun does not yet support clang ${CC:+(\$CC: $CC)} 320 die gcc is too old, need 4.6 or later. ${CC:+(\$CC: $CC)} 334 || die unable to probe ld version 336 die l [all...] |
/seL4-camkes-master/tools/riscv-pk/machine/ |
H A D | mtrap.h | 65 #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 D | mtrap.c | 22 die("machine mode: unhandlable trap %d @ %p", read_csr(mcause), mepc);
|
/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | __main__.py | 212 die = functools.partial(_die, options) 221 die('No assembly found') 249 die('template syntax error: %s' % e) 290 die("Invalid connector end") 296 die("item: \"%s\" does not have the correct formatting to render." % item) 305 die(rendering_error(i.name, inst)) 307 die(rendering_error(i.parent.name, inst))
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | __main__.py | 30 def die(options, message): function 103 die(options, e.args)
|
/seL4-camkes-master/projects/lwip/src/apps/http/makefsdata/ |
H A D | makefsdata | 17 open(HEADER, "> /tmp/header") || die $!;
|
/seL4-camkes-master/projects/lwip/src/netif/ppp/ |
H A D | demand.c | 116 /* FIXME: find a way to die() here */ 119 die(1);
|