2018-02-16 13:51:30 -05:00
|
|
|
#!/bin/sh
|
|
|
|
|
2020-08-11 05:26:28 -04:00
|
|
|
: ${TINI_COMMIT:=de40ad007797e0dcd8b7126f27bb87401d224240} # v0.19.0
|
2018-02-16 13:51:30 -05:00
|
|
|
|
|
|
|
install_tini() {
|
|
|
|
echo "Install tini version $TINI_COMMIT"
|
|
|
|
git clone https://github.com/krallin/tini.git "$GOPATH/tini"
|
|
|
|
cd "$GOPATH/tini"
|
|
|
|
git checkout -q "$TINI_COMMIT"
|
|
|
|
cmake .
|
|
|
|
make tini-static
|
2018-12-22 14:18:33 -05:00
|
|
|
mkdir -p "${PREFIX}"
|
|
|
|
cp tini-static "${PREFIX}/docker-init"
|
2018-02-16 13:51:30 -05:00
|
|
|
}
|