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 | 
