Lines Matching defs:fatal
7 # Terminate with a fatal error.
8 function fatal() {
9 echo "Fatal: $*"
15 local name="$1"; shift || fatal "Missing argument: name"
16 test $# = 0 || fatal "Too many arguments"
26 test $# = 0 || fatal "Too many arguments"
44 local value="$1"; shift || fatal "Missing argument: value"
45 test $# = 0 || fatal "Too many arguments"
91 local tests="$1"; shift || fatal "Missing argument: tests"
92 test $# = 0 || fatal "Too many arguments"
111 test $# = 0 || fatal "Too many arguments"
134 test $# = 0 || fatal "Too many arguments"
