diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2022-06-05 12:30:55 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2022-06-05 12:30:55 +0200 |
| commit | 6a6c39765f75fb1bd0cee95a896ce56de16186a9 (patch) | |
| tree | d2afd8994d1262cf7d51c623e9d4a1e1e1728d6b | |
| parent | b926519d322a7e20973517e27d5d7e02984c120d (diff) | |
| download | rust-6a6c39765f75fb1bd0cee95a896ce56de16186a9.tar.gz rust-6a6c39765f75fb1bd0cee95a896ce56de16186a9.zip | |
remove azure pipelines-specific debug statement
| -rwxr-xr-x | src/ci/init_repo.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/ci/init_repo.sh b/src/ci/init_repo.sh index 93af8c26111..ec45d9e8bc6 100755 --- a/src/ci/init_repo.sh +++ b/src/ci/init_repo.sh @@ -1,9 +1,5 @@ #!/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 |