From 2ba1bbb1035dcd5b85f30bd3c29a77ea8992d7ec Mon Sep 17 00:00:00 2001
From: paltherr <paltherr@epfl.ch>
Date: Tue, 11 Nov 2003 09:56:08 +0000
Subject: - added runOO

---
 support/scripts/stdlib.sh | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'support')

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> "$@"
-- 
cgit v1.2.3