diff options
| author | Ralf Jung <post@ralfj.de> | 2025-02-01 19:06:22 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-02-03 16:56:51 +0100 |
| commit | 8596ce141c9ba714f39024b19afce63ca2184e67 (patch) | |
| tree | b97eaba24ade62984f16a1dfc3e223ab18e6782a /src | |
| parent | f755f4cd1a2450da62b53f98f662d445f1f048b2 (diff) | |
| download | rust-8596ce141c9ba714f39024b19afce63ca2184e67.tar.gz rust-8596ce141c9ba714f39024b19afce63ca2184e67.zip | |
patch RfL job
Diffstat (limited to 'src')
| -rwxr-xr-x | src/ci/docker/scripts/rfl-build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/ci/docker/scripts/rfl-build.sh b/src/ci/docker/scripts/rfl-build.sh index 8776e0f0be9..3eb85ab215e 100755 --- a/src/ci/docker/scripts/rfl-build.sh +++ b/src/ci/docker/scripts/rfl-build.sh @@ -2,7 +2,7 @@ set -euo pipefail -LINUX_VERSION=v6.13-rc1 +LINUX_VERSION=50e57739141b41f731ab31f8380821c7969f9dc4 # Build rustc, rustdoc, cargo, clippy-driver and rustfmt ../x.py build --stage 2 library rustdoc clippy rustfmt @@ -28,7 +28,7 @@ rm -rf linux || true # Download Linux at a specific commit mkdir -p linux git -C linux init -git -C linux remote add origin https://github.com/Rust-for-Linux/linux.git +git -C linux remote add origin https://github.com/Darksonn/linux.git git -C linux fetch --depth 1 origin ${LINUX_VERSION} git -C linux checkout FETCH_HEAD |