diff options
| author | Guillaume Boisseau <Nadrieril@users.noreply.github.com> | 2024-02-07 18:24:45 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-07 18:24:45 +0100 |
| commit | dacdd1acb08907922491c126b2739b3176a02d78 (patch) | |
| tree | dd0f824bce24631b01ef87b235579daa6c9fe5a2 | |
| parent | eecab310fefafcccf8427c060b4200d35126ddd6 (diff) | |
| parent | 14dda5fdfb81e61b2acc85f27609f879aeaa166d (diff) | |
| download | rust-dacdd1acb08907922491c126b2739b3176a02d78.tar.gz rust-dacdd1acb08907922491c126b2739b3176a02d78.zip | |
Rollup merge of #120726 - saethlin:no-bashism, r=Mark-Simulacrum
Don't use bashism in checktools.sh `if [[` doesn't work because this is a `/bin/sh` script. We were never running the success side of this `if` at all.
| -rwxr-xr-x | src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh b/src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh index cc0c658aabd..f5c426a717f 100755 --- a/src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh +++ b/src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh @@ -30,7 +30,7 @@ python3 "$X_PY" test --stage 2 src/tools/rustfmt # We set the GC interval to the shortest possible value (0 would be off) to increase the chance # that bugs which only surface when the GC runs at a specific time are more likely to cause CI to fail. # This significantly increases the runtime of our test suite, or we'd do this in PR CI too. -if [[ -z "${PR_CI_JOB:-}" ]]; then +if [ -z "${PR_CI_JOB:-}" ]; then MIRIFLAGS=-Zmiri-provenance-gc=1 python3 "$X_PY" test --stage 2 src/tools/miri else python3 "$X_PY" test --stage 2 src/tools/miri |