aboutsummaryrefslogtreecommitdiff
path: root/sbopkglint
diff options
context:
space:
mode:
Diffstat (limited to 'sbopkglint')
-rwxr-xr-xsbopkglint5
1 files changed, 5 insertions, 0 deletions
diff --git a/sbopkglint b/sbopkglint
index 6409fc4..fed1a8c 100755
--- a/sbopkglint
+++ b/sbopkglint
@@ -441,6 +441,11 @@ warn() {
echo "--- $@" 1>&2
}
+note() {
+ [ "$warncount" = "0" ] && echo
+ echo "___ note: $@" 1>&2
+}
+
die() {
warn "$@"
exit 1