aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-10-05 15:49:41 +0200
committerChristian Grothoff <christian@grothoff.org>2019-10-05 15:49:41 +0200
commit4ac5a15a0354b8ad5d24fcede186a7d608b2b157 (patch)
tree7c7fc73d4342019236f8a9289f6ccee28e3d7027
parente387a11593737c72042ec6e89576b02201a777ba (diff)
check for git first
-rwxr-xr-xbootstrap6
1 files changed, 6 insertions, 0 deletions
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