summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/populate4
1 files changed, 4 insertions, 0 deletions
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")