aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbootstrap4
1 files changed, 3 insertions, 1 deletions
diff --git a/bootstrap b/bootstrap
index 3321d906..cf780aa0 100755
--- a/bootstrap
+++ b/bootstrap
@@ -13,7 +13,9 @@ if ! python3 --version >/dev/null; then
fi
echo "$0: Updating submodules"
-echo | git submodule update --init --force --remote
+# Caution: We do NOT want to fetch the latest version with --remote,
+# but instead always the one that's recorded in the repository.
+echo | git submodule update --init --force
./contrib/check-prebuilt