diff options
Diffstat (limited to 'etc/pkgs/001-tini.sh')
-rwxr-xr-x | etc/pkgs/001-tini.sh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/etc/pkgs/001-tini.sh b/etc/pkgs/001-tini.sh deleted file mode 100755 index 44bb172..0000000 --- a/etc/pkgs/001-tini.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/bash -set -x - -sudo yum install -y cmake glibc-static || exit 1 -git clone https://github.com/krallin/tini.git -export CFLAGS="${CFLAGS} -DPR_SET_CHILD_SUBREAPER=36 -DPR_GET_CHILD_SUBREAPER=37" - -pushd tini - git checkout v0.18.0 - mkdir -p build - pushd build - cmake .. - make - install -m755 tini ${TOOLCHAIN_BIN} - popd -popd - -rm -rf tini |