commit 9b5a50eb8901cd383c3bbb629cca15c29c32ae9b parent 6d31ca9bd18949ba5442b6c302acceb274a87535 Author: Christian Grothoff <christian@grothoff.org> Date: Sun, 1 Nov 2026 12:23:40 +0100 add canonical bootstrap script Diffstat:
| A | bootstrap | | | 18 | ++++++++++++++++++ |
1 file changed, 18 insertions(+), 0 deletions(-)
diff --git a/bootstrap b/bootstrap @@ -0,0 +1,18 @@ +#!/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 + +# Make sure that "git pull" et al. also update +# submodules to avoid accidental rollbacks. +git config --local submodule.recurse true + +git submodule sync +git submodule update --init