check for git first

This commit is contained in:
Christian Grothoff 2019-10-05 15:49:41 +02:00
parent e387a11593
commit 4ac5a15a03
No known key found for this signature in database
GPG Key ID: 939E6BE1E29FC3CC

View File

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