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

/seL4-camkes-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-camkes-master/tools/rumprun/app-tools/
H A Drumpstop3 die ()
16 [ $# -eq 1 ] || die usage: rumpstop guest_spec
29 die invalid stack spec \"${stack}\"
H A Drumprun49 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 Dcc.in31 die()
100 "$@" !DESTDIR!/rumprun-!MACHINE_GNU_ARCH!/share/!TOOLTUPLE!-recipe.s ${EXTRALIBS} || die
128 die
H A Dcookfs.in48 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 Drun-tests.sh6 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 Druntests.sh30 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 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-camkes-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-camkes-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-camkes-master/tools/rumprun/
H A Dbuild-rr.sh29 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 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);
/seL4-camkes-master/projects/camkes-tool/camkes/runner/
H A D__main__.py212 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__.py30 def die(options, message): function
103 die(options, e.args)
/seL4-camkes-master/projects/lwip/src/apps/http/makefsdata/
H A Dmakefsdata17 open(HEADER, "> /tmp/header") || die $!;
/seL4-camkes-master/projects/lwip/src/netif/ppp/
H A Ddemand.c116 /* FIXME: find a way to die() here */
119 die(1);

Completed in 98 milliseconds