diff options
author | Florian Dold <florian@dold.me> | 2024-06-27 23:38:16 +0200 |
---|---|---|
committer | Florian Dold <florian@dold.me> | 2024-06-27 23:38:27 +0200 |
commit | 7cf8f4bf01dfea2f58424bca2e69b43f0346e1a6 (patch) | |
tree | a4b62c5577bf57506706673c90efc40df1e75fac | |
parent | 96231ed0362edd8e959cb03d585296994d609ff5 (diff) |
bootstrap: fix unreproducible submodule version
-rwxr-xr-x | bootstrap | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 |