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 | |
parent | 20e65c3ad8d167762294b28a4d9c7bbc076704a2 (diff) | |
download | scala-2ba1bbb1035dcd5b85f30bd3c29a77ea8992d7ec.tar.gz scala-2ba1bbb1035dcd5b85f30bd3c29a77ea8992d7ec.tar.bz2 scala-2ba1bbb1035dcd5b85f30bd3c29a77ea8992d7ec.zip |
- added runOO
-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> "$@" |