diff options
-rw-r--r-- | support/scripts/stdlib.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/support/scripts/stdlib.sh b/support/scripts/stdlib.sh index 4e2a53172d..fed03dae2b 100644 --- a/support/scripts/stdlib.sh +++ b/support/scripts/stdlib.sh @@ -11,10 +11,14 @@ function print() { } function abort() { - print "${program:-error}: ""$@" 1>&2; + print "${program:-$0}: ""$@" 1>&2; exit 1; } +function warning() { + print "${program:-$0}: warning: ""$@" 1>&2; +} + function run_() { "$@" || exit $?; } |