diff options
| author | Joseph Hunkeler <jhunkeler@gmail.com> | 2019-02-17 16:16:04 -0500 |
|---|---|---|
| committer | Joseph Hunkeler <jhunkeler@gmail.com> | 2019-02-17 16:16:04 -0500 |
| commit | ec5f3d2cbadb2a983ac4bcac65366ef32e6d8f0a (patch) | |
| tree | b435b4cbf08d77f2814512cde7eed53318b6d9cc /etc/pkgs/005-tini.sh | |
| parent | 01747a3252407bd014398f5650fcb9757e95ce04 (diff) | |
| download | docker-base-ec5f3d2cbadb2a983ac4bcac65366ef32e6d8f0a.tar.gz | |
Consolidate base packages
Diffstat (limited to 'etc/pkgs/005-tini.sh')
| -rwxr-xr-x | etc/pkgs/005-tini.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/etc/pkgs/005-tini.sh b/etc/pkgs/005-tini.sh new file mode 100755 index 0000000..44bb172 --- /dev/null +++ b/etc/pkgs/005-tini.sh @@ -0,0 +1,18 @@ +#!/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 |