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"
41 local value="$1"; shift || fatal "Missing argument: value"
42 test $# = 0 || fatal "Too many arguments"
70 local tests="$1"; shift || fatal "Missing argument: tests"
71 test $# = 0 || fatal "Too many arguments"
90 test $# = 0 || fatal "Too many arguments"
113 test $# = 0 || fatal "Too many arguments"
