2018-02-16 13:51:30 -05:00
|
|
|
#!/bin/sh
|
|
|
|
|
2021-07-26 08:48:52 -04:00
|
|
|
# TINI_VERSION specifies the version of tini (docker-init) to build, and install
|
|
|
|
# from the https://github.com/krallin/tini repository. This binary is used
|
|
|
|
# when starting containers with the `--init` option.
|
|
|
|
: "${TINI_VERSION:=v0.19.0}"
|
2018-02-16 13:51:30 -05:00
|
|
|
|
|
|
|
install_tini() {
|
2021-07-26 08:48:52 -04:00
|
|
|
echo "Install tini version $TINI_VERSION"
|
2018-02-16 13:51:30 -05:00
|
|
|
git clone https://github.com/krallin/tini.git "$GOPATH/tini"
|
|
|
|
cd "$GOPATH/tini"
|
2021-07-26 08:48:52 -04:00
|
|
|
git checkout -q "$TINI_VERSION"
|
2018-02-16 13:51:30 -05:00
|
|
|
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
|
|
|
}
|