From 16f5e40a3ca2d1140d99e4a585328803db9910a7 Mon Sep 17 00:00:00 2001
From: Joseph Hunkeler <jhunkeler@gmail.com>
Date: Fri, 1 Mar 2019 22:34:27 -0500
Subject: Build git before using it

---
 etc/pkgs/005-tini.sh | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100755 etc/pkgs/005-tini.sh

(limited to 'etc/pkgs/005-tini.sh')

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
-- 
cgit