bash doesn't have "die"

jey · sarutak · commit 24c6677eb34f · 2014-11-09T22:21:22.000-08:00
diff --git a/sbt/sbt-launch-lib.bash b/sbt/sbt-launch-lib.bash
@@ -124,7 +124,8 @@ require_arg () {
   local opt="$2"
   local arg="$3"
   if [[ -z "$arg" ]] || [[ "${arg:0:1}" == "-" ]]; then
-    die "$opt requires <$type> argument"
+    echo "$opt requires <$type> argument" 1>&2
+    exit 1
   fi
 }
 

Original file line number	Diff line number	Diff line change
`@@ -124,7 +124,8 @@ require_arg () {`
`124`	`124`	`local opt="$2"`
`125`	`125`	`local arg="$3"`
`126`	`126`	`if [[ -z "$arg" ]] \|\| [[ "${arg:0:1}" == "-" ]]; then`
`127`		`- die "$opt requires <$type> argument"`
	`127`	`+ echo "$opt requires <$type> argument" 1>&2`
	`128`	`+ exit 1`
`128`	`129`	`fi`
`129`	`130`	`}`
`130`	`131`