From 07175f3dde8544cba72fdfab977e92b1a4bfc447 Mon Sep 17 00:00:00 2001
From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Mon, 13 Nov 2023 15:56:10 +0100
Subject: [PATCH] DEBUG: trace output of run-build-and-tests

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
---
 ci/run-build-and-tests.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ci/run-build-and-tests.sh b/ci/run-build-and-tests.sh
index 645951401e..b3bfcbb992 100755
--- a/ci/run-build-and-tests.sh
+++ b/ci/run-build-and-tests.sh
@@ -3,6 +3,8 @@
 # Build and test Git
 #
 
+set -x
+
 . ${0%/*}/lib.sh
 
 run_tests=t