diff options
| author | Rémy Rakic <remy.rakic+github@gmail.com> | 2024-08-10 22:25:22 +0000 |
|---|---|---|
| committer | Rémy Rakic <remy.rakic+github@gmail.com> | 2024-08-25 22:17:51 +0000 |
| commit | 62c8c693bdda3932dbb049f8a2707f2f616d29eb (patch) | |
| tree | 42af2627342f7b7b538e784dc1c0351cbf99fccd /src/ci/docker/scripts | |
| parent | 1935e21029d28af3022064f57b36fff85b8db9d7 (diff) | |
| download | rust-62c8c693bdda3932dbb049f8a2707f2f616d29eb.tar.gz rust-62c8c693bdda3932dbb049f8a2707f2f616d29eb.zip | |
move and rename zstd script
move it where it's used, and name it like the other scripts
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 |