diff options
| author | bors <bors@rust-lang.org> | 2024-08-28 05:47:59 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-08-28 05:47:59 +0000 |
| commit | 3a655aa4cbdea7f19b888db5d3b45c49720984b4 (patch) | |
| tree | fcd6a49c72ffdeee7275d9b8259ee7441ef69104 /src/ci/docker/scripts | |
| parent | 2d69baa6e361c2ac76ae6c013b0ab126fa25d8b3 (diff) | |
| parent | f4f3447c5748c4699ef4bfe6c09efab4997aff94 (diff) | |
| download | rust-3a655aa4cbdea7f19b888db5d3b45c49720984b4.tar.gz rust-3a655aa4cbdea7f19b888db5d3b45c49720984b4.zip | |
Auto merge of #3850 - rust-lang:rustup-2024-08-28, r=RalfJung
Automatic Rustup
Diffstat (limited to 'src/ci/docker/scripts')
| -rwxr-xr-x | src/ci/docker/scripts/zstd.sh | 29 |
1 files changed, 0 insertions, 29 deletions
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 |