diff options
Diffstat (limited to 'src/ci')
| -rwxr-xr-x | src/ci/init_repo.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ci/init_repo.sh b/src/ci/init_repo.sh index 3dfd3381576..8b635810825 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 |