diff options
| author | Joseph Hunkeler <jhunkeler@gmail.com> | 2019-02-18 15:18:05 -0500 |
|---|---|---|
| committer | Joseph Hunkeler <jhunkeler@gmail.com> | 2019-02-18 15:18:05 -0500 |
| commit | 4d1a164d0c5b3cdebccbcf3b78d19abee50677c0 (patch) | |
| tree | 011b7607e1b9f7b878f5534415654c76a684a9d3 /etc/pkgs/001-tini.sh | |
| parent | 34575a023b19cdafcae0db945a8c8d8e44e3455f (diff) | |
| download | docker-pipeline-nb-4d1a164d0c5b3cdebccbcf3b78d19abee50677c0.tar.gz | |
Remove consolidated scripts
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 |