diff options
-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> "$@" |