diff options
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/bootstrap b/bootstrap deleted file mode 100755 index 8efb636..0000000 --- a/bootstrap +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh - -# Bootstrap the repository. Used when the repository is checked out from git. -# When using the source tarball, running this script is not necessary. - -set -eu - -if ! git --version >/dev/null; then - echo "git not installed" - exit 1 -fi - -git submodule sync --recursive -git submodule update --init --recursive |