diff options
-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 |