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"
73 local tests="$1"; shift || fatal "Missing argument: tests"
74 test $# = 0 || fatal "Too many arguments"
93 test $# = 0 || fatal "Too many arguments"
116 test $# = 0 || fatal "Too many arguments"
