From 62c8c693bdda3932dbb049f8a2707f2f616d29eb Mon Sep 17 00:00:00 2001
From: Rémy Rakic <remy.rakic+github@gmail.com>
Date: Sat, 10 Aug 2024 22:25:22 +0000
Subject: move and rename zstd script

move it where it's used, and name it like the other scripts
---
 src/ci/docker/scripts/zstd.sh | 29 -----------------------------
 1 file changed, 29 deletions(-)
 delete mode 100755 src/ci/docker/scripts/zstd.sh

(limited to 'src/ci/docker/scripts')

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
-- 
cgit 1.4.1-3-g733a5