diff options
Diffstat (limited to 'sbopkglint')
-rwxr-xr-x | sbopkglint | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -441,6 +441,11 @@ warn() { echo "--- $@" 1>&2 } +note() { + [ "$warncount" = "0" ] && echo + echo "___ note: $@" 1>&2 +} + die() { warn "$@" exit 1 |