diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-05-29 17:57:28 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-05-29 17:57:28 +0200 |
| commit | 5f4f3684b93180097b8ed6a53b7090fc4e7d884c (patch) | |
| tree | ea1131b7ca0efd35cf3b522041af650ca323f398 | |
| parent | 81970852e172c04322cbf8ba23effabeb491c83c (diff) | |
| download | rust-5f4f3684b93180097b8ed6a53b7090fc4e7d884c.tar.gz rust-5f4f3684b93180097b8ed6a53b7090fc4e7d884c.zip | |
ci: display more debug information in the init_repo script
| -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 |