From 5f4f3684b93180097b8ed6a53b7090fc4e7d884c Mon Sep 17 00:00:00 2001
From: Pietro Albini <pietro@pietroalbini.org>
Date: Wed, 29 May 2019 17:57:28 +0200
Subject: [PATCH] ci: display more debug information in the init_repo script

---
 src/ci/init_repo.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/ci/init_repo.sh b/src/ci/init_repo.sh
index 3dfd338157617..8b635810825f1 100755
--- a/src/ci/init_repo.sh
+++ b/src/ci/init_repo.sh
@@ -1,5 +1,9 @@
 #!/usr/bin/env bash
 
+# FIXME(61301): we need to debug spurious failures with this on Windows on
+# Azure, so let's print more information in the logs.
+set -x
+
 set -o errexit
 set -o pipefail
 set -o nounset