diff options
| author | paltherr <paltherr@epfl.ch> | 2003-11-11 09:56:08 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-11-11 09:56:08 +0000 |
| commit | 2ba1bbb1035dcd5b85f30bd3c29a77ea8992d7ec (patch) | |
| tree | b10bb220887b12e734b87b7a21a00d59608846ac /support | |
| parent | 20e65c3ad8d167762294b28a4d9c7bbc076704a2 (diff) | |
| download | scala-2ba1bbb1035dcd5b85f30bd3c29a77ea8992d7ec.tar.gz scala-2ba1bbb1035dcd5b85f30bd3c29a77ea8992d7ec.tar.bz2 scala-2ba1bbb1035dcd5b85f30bd3c29a77ea8992d7ec.zip | |
- added runOO
Diffstat (limited to 'support')
| -rw-r--r-- | support/scripts/stdlib.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/support/scripts/stdlib.sh b/support/scripts/stdlib.sh index fe78a56eef..4e2a53172d 100644 --- a/support/scripts/stdlib.sh +++ b/support/scripts/stdlib.sh @@ -30,6 +30,12 @@ function runO() { run_ "$@" 1> "$stdout"; } +function runOO() { + local stdout="$1"; shift 1; + [ "$verbose" = "true" ] && echo "$@" "1>>" "$stdout"; + run_ "$@" 1>> "$stdout"; +} + ############################################################################## # usage: args-loop <script> "$@" |