From 4ac5a15a0354b8ad5d24fcede186a7d608b2b157 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sat, 5 Oct 2019 15:49:41 +0200
Subject: [PATCH] check for git first

---
 bootstrap | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/bootstrap b/bootstrap
index 0d35d01ce..44f929c67 100755
--- a/bootstrap
+++ b/bootstrap
@@ -1,4 +1,10 @@
 #!/bin/sh
+
+if ! git --version >/dev/null; then
+  echo "git not installed"
+  exit 1
+fi
+
 git submodule update --init
 
 # This is more portable than `which' but comes with