diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-06-28 05:02:19 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-06-28 05:02:19 +0000 |
| commit | 3d8d4d4545996f6b43c47d1f0b867dacf20a5b48 (patch) | |
| tree | 99983ba704aaaa6d8743ead87e86f08293946e94 /src/ci/docker/scripts | |
| parent | 34949e30d30e1751a070606f87cb0cc8bd478625 (diff) | |
| parent | d41e12f1f4e4884c356f319b881921aa37040de5 (diff) | |
| download | rust-3d8d4d4545996f6b43c47d1f0b867dacf20a5b48.tar.gz rust-3d8d4d4545996f6b43c47d1f0b867dacf20a5b48.zip | |
Merge from rustc
Diffstat (limited to 'src/ci/docker/scripts')
| -rwxr-xr-x | src/ci/docker/scripts/rfl-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/docker/scripts/rfl-build.sh b/src/ci/docker/scripts/rfl-build.sh index c5992891398..8acc5040a2f 100755 --- a/src/ci/docker/scripts/rfl-build.sh +++ b/src/ci/docker/scripts/rfl-build.sh @@ -6,7 +6,7 @@ LINUX_VERSION=v6.16-rc1 # Build rustc, rustdoc, cargo, clippy-driver and rustfmt ../x.py build --stage 2 library rustdoc clippy rustfmt -../x.py build --stage 0 cargo +../x.py build --stage 1 cargo BUILD_DIR=$(realpath ./build/x86_64-unknown-linux-gnu) |