diff options
| author | Joseph Hunkeler <jhunkeler@gmail.com> | 2019-03-01 22:34:27 -0500 |
|---|---|---|
| committer | Joseph Hunkeler <jhunkeler@gmail.com> | 2019-03-01 22:34:27 -0500 |
| commit | 16f5e40a3ca2d1140d99e4a585328803db9910a7 (patch) | |
| tree | beb87d642e3e16981e87cac06e4cb5081bcbe003 /etc/pkgs/005-tini.sh | |
| parent | e1bc91093e356dbd4f5a20aeb24abc80bbb1b539 (diff) | |
| download | docker-base-16f5e40a3ca2d1140d99e4a585328803db9910a7.tar.gz | |
Build git before using it
Diffstat (limited to 'etc/pkgs/005-tini.sh')
| -rwxr-xr-x | etc/pkgs/005-tini.sh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/etc/pkgs/005-tini.sh b/etc/pkgs/005-tini.sh deleted file mode 100755 index 12d44a7..0000000 --- a/etc/pkgs/005-tini.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/bash -set -xe - -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 |