diff options
| author | Ben Kimock <kimockb@gmail.com> | 2023-12-16 15:55:56 -0500 |
|---|---|---|
| committer | Ben Kimock <kimockb@gmail.com> | 2024-01-06 14:17:33 -0500 |
| commit | 735a6a4212eb658b59564bf5bdc3adc28afc6c75 (patch) | |
| tree | d3a4a3de69455b57fa7e2fc02a60c3c25b4a83dc /src/ci/docker | |
| parent | b8c207435c85955d0c0806240d5491f5ccd1def5 (diff) | |
Run Miri and mir-opt tests without a target linker
Diffstat (limited to 'src/ci/docker')
| -rwxr-xr-x | src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh | 2 |
1 files changed, 0 insertions, 2 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 205ee263217..cc0c658aabd 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 @@ -37,7 +37,6 @@ else fi # We natively run this script on x86_64-unknown-linux-gnu and x86_64-pc-windows-msvc. # Also cover some other targets via cross-testing, in particular all tier 1 targets. -export BOOTSTRAP_SKIP_TARGET_SANITY=1 # we don't need `cc` for these targets case $HOST_TARGET in x86_64-unknown-linux-gnu) # Only this branch runs in PR CI. @@ -62,4 +61,3 @@ case $HOST_TARGET in exit 1 ;; esac -unset BOOTSTRAP_SKIP_TARGET_SANITY |