diff options
| author | paltherr <paltherr@epfl.ch> | 2004-01-09 17:35:16 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2004-01-09 17:35:16 +0000 |
| commit | ae638b7fc0fde4372111f6f826b8cf0392f35b8e (patch) | |
| tree | f8fe17a158958a1c01d55fb26ee0920bd34328cd /support | |
| parent | dc13a90b2b646f9844ffe23dc5d43f4c125cc553 (diff) | |
| download | scala-ae638b7fc0fde4372111f6f826b8cf0392f35b8e.tar.gz scala-ae638b7fc0fde4372111f6f826b8cf0392f35b8e.tar.bz2 scala-ae638b7fc0fde4372111f6f826b8cf0392f35b8e.zip | |
- Added function warning
- Fixed default in function abort
Diffstat (limited to 'support')
| -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 $?; } |