aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFlorian Dold <florian@dold.me>2024-06-27 23:38:16 +0200
committerFlorian Dold <florian@dold.me>2024-06-27 23:38:27 +0200
commit7cf8f4bf01dfea2f58424bca2e69b43f0346e1a6 (patch)
treea4b62c5577bf57506706673c90efc40df1e75fac
parent96231ed0362edd8e959cb03d585296994d609ff5 (diff)
bootstrap: fix unreproducible submodule version
-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