chiark / gitweb /
test/capture-log: Make it possible to disable capturing
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Jun 2023 23:36:29 +0000 (00:36 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 15 Jun 2023 01:03:30 +0000 (02:03 +0100)
When running in CI, we want everything to come out in one scrool.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
test/capture-log

index 4da14f244b9093935aba66b5fb392f7bcdd40bf1..3ab012e3c5814df7a1f7d256c069215e812f6861 100755 (executable)
@@ -5,6 +5,14 @@
 set -e
 set -o pipefail
 
+actually_capture () {
+    if [ "$BUILD_VERBOSE" ]; then
+       tee "$log" | sed "s#^#$log #"
+    else
+       cat >"$log"
+    fi
+}
+
 log="$1"; shift
 mkdir -p tmp
-"$@" 2>&1 | ts >"$log"
+"$@" 2>&1 | ts | actually_capture