diff options
author | Christian Grothoff <christian@grothoff.org> | 2019-10-05 15:49:41 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2019-10-05 15:49:41 +0200 |
commit | 4ac5a15a0354b8ad5d24fcede186a7d608b2b157 (patch) | |
tree | 7c7fc73d4342019236f8a9289f6ccee28e3d7027 | |
parent | e387a11593737c72042ec6e89576b02201a777ba (diff) |
check for git first
-rwxr-xr-x | bootstrap | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -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 |