This commit is contained in:
Bill Sideris 2023-02-17 20:46:30 +02:00
parent cd0ff5196a
commit 309a5e600d
No known key found for this signature in database
GPG Key ID: 1BEF1BCEBA58EA33
1 changed files with 4 additions and 3 deletions

View File

@ -323,10 +323,11 @@ clean-nrf:
clean-stm: clean-stm:
$(MAKE) -C ports/stm BOARD=feather_stm32f405_express clean $(MAKE) -C ports/stm BOARD=feather_stm32f405_express clean
# This update will fail because the commits we need aren't the latest on the
# branch. We can ignore that though because we fix it with the second command.
# (Only works for git servers that allow sha fetches.)
.PHONY: fetch-submodules .PHONY: fetch-submodules
fetch-submodules: fetch-submodules:
# This update will fail because the commits we need aren't the latest on the
# branch. We can ignore that though because we fix it with the second command.
# (Only works for git servers that allow sha fetches.)
git submodule update --init -N --depth 1 || true git submodule update --init -N --depth 1 || true
git submodule foreach 'git fetch --tags --depth 1 origin $$sha1 && git checkout -q $$sha1' git submodule foreach 'git fetch --tags --depth 1 origin $$sha1 && git checkout -q $$sha1'