diff options
| author | bors <bors@rust-lang.org> | 2024-08-29 07:04:04 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-08-29 07:04:04 +0000 |
| commit | f05888d2ae0306e20d4487a18937b3326cacbf80 (patch) | |
| tree | 4e57215de94ec8c05ba1cfad92eb8b08bd238f7e /src/ci/docker/scripts | |
| parent | 266bb1fd96bc24126031754107cf76ee36ef8b8b (diff) | |
| parent | 26888c31cfc6669c1a89c4b7b7fec269e7c365b1 (diff) | |
| download | rust-f05888d2ae0306e20d4487a18937b3326cacbf80.tar.gz rust-f05888d2ae0306e20d4487a18937b3326cacbf80.zip | |
Auto merge of #17995 - lnicola:sync-from-rust, r=lnicola
minor: sync from downstream
Diffstat (limited to 'src/ci/docker/scripts')
| -rw-r--r-- | src/ci/docker/scripts/crosstool-ng-git.sh | 2 | ||||
| -rwxr-xr-x | src/ci/docker/scripts/rfl-build.sh | 4 | ||||
| -rwxr-xr-x | src/ci/docker/scripts/zstd.sh | 29 |
3 files changed, 3 insertions, 32 deletions
diff --git a/src/ci/docker/scripts/crosstool-ng-git.sh b/src/ci/docker/scripts/crosstool-ng-git.sh index 2a10e262df8..e86810ae613 100644 --- a/src/ci/docker/scripts/crosstool-ng-git.sh +++ b/src/ci/docker/scripts/crosstool-ng-git.sh @@ -2,7 +2,7 @@ set -ex URL=https://github.com/crosstool-ng/crosstool-ng -REV=c64500d94be92ed1bcdfdef911048a14e216a5e1 +REV=ed12fa68402f58e171a6f79500f73f4781fdc9e5 mkdir crosstool-ng cd crosstool-ng diff --git a/src/ci/docker/scripts/rfl-build.sh b/src/ci/docker/scripts/rfl-build.sh index d690aac27fa..389abb2fdd3 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.11-rc1 +LINUX_VERSION=4c7864e81d8bbd51036dacf92fb0a400e13aaeee # Build rustc, rustdoc and cargo ../x.py build --stage 1 library rustdoc @@ -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/torvalds/linux.git +git -C linux remote add origin https://github.com/Rust-for-Linux/linux.git git -C linux fetch --depth 1 origin ${LINUX_VERSION} git -C linux checkout FETCH_HEAD diff --git a/src/ci/docker/scripts/zstd.sh b/src/ci/docker/scripts/zstd.sh deleted file mode 100755 index a3d37ccc311..00000000000 --- a/src/ci/docker/scripts/zstd.sh +++ /dev/null @@ -1,29 +0,0 @@ -#!/bin/bash -set -ex - -hide_output() { - set +x - on_err=" -echo ERROR: An error was encountered with the build. -cat /tmp/zstd_build.log -exit 1 -" - trap "$on_err" ERR - bash -c "while true; do sleep 30; echo \$(date) - building ...; done" & - PING_LOOP_PID=$! - "$@" &> /tmp/zstd_build.log - trap - ERR - kill $PING_LOOP_PID - rm /tmp/zstd_build.log - set -x -} - -ZSTD=1.5.6 -curl -L https://github.com/facebook/zstd/releases/download/v$ZSTD/zstd-$ZSTD.tar.gz | tar xzf - - -cd zstd-$ZSTD -CFLAGS=-fPIC hide_output make -j$(nproc) VERBOSE=1 -hide_output make install - -cd .. -rm -rf zstd-$ZSTD |
