make update: sync and update submodules twice

to support changing the URL of a submodule's submodule without having to
explain to users why they need to run `make update` twice.
This commit is contained in:
Ștefan Talpalaru 2019-11-18 09:16:20 +01:00
parent 798b101910
commit 28e88efada
No known key found for this signature in database
GPG Key ID: CBF7934204F1B6F9
1 changed files with 3 additions and 0 deletions

View File

@ -65,6 +65,9 @@ $(NIM_BINARY) update-common: | sanity-checks
git reset --hard -q HEAD git reset --hard -q HEAD
git submodule sync --quiet --recursive git submodule sync --quiet --recursive
export GIT_LFS_SKIP_SMUDGE=1; git submodule update --init --recursive export GIT_LFS_SKIP_SMUDGE=1; git submodule update --init --recursive
# changing URLs in a submodule's submodule means we have to sync and update twice
git submodule sync --quiet --recursive
export GIT_LFS_SKIP_SMUDGE=1; git submodule update --init --recursive
rm -rf $(NIMBLE_DIR) rm -rf $(NIMBLE_DIR)
+ $(MAKE) build-nim + $(MAKE) build-nim