From 3e77333d771988fe9496ed5900cebca9319dea67 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 15 Jun 2023 00:36:29 +0100
Subject: [PATCH] test/capture-log: Make it possible to disable capturing

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 | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/test/capture-log b/test/capture-log
index 4da14f2..3ab012e 100755
--- a/test/capture-log
+++ b/test/capture-log
@@ -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
-- 
2.30.2