diff options
-rw-r--r-- | lib/common.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/common.sh b/lib/common.sh index c265e3c..cd6970d 100644 --- a/lib/common.sh +++ b/lib/common.sh @@ -20,6 +20,13 @@ _OB_LF=' ' +_ob_abort() +{ + printf 'Aborted\n' + kill -s ABRT 0 + exit 1 # Should never be reached, but just in case +} + _ob_validate_var_name() { case "${1}" in |