From 83d657179132a04efcffd85c849f969e8ffb17ef Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Tue, 19 Dec 2017 19:25:32 +0100
Subject: populate_git: build git if it doesn't exist

---
 bin/populate | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/bin/populate b/bin/populate
index 7f43cf3..6ffe9f7 100755
--- a/bin/populate
+++ b/bin/populate
@@ -147,6 +147,10 @@ populate_git() {(
   {
     echo set -efu
 
+    echo 'if ! type git 2>/dev/null; then'
+    echo '  PATH=${PATH+$PATH:}$(nix-build --no-out-link -A git "<nixpkgs>")'
+    echo 'fi'
+
     echo git_url=$(quote "$git_url")
     echo git_ref=$(quote "$git_ref")
 
-- 
cgit v1.2.3