djsundog/circuitpython
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/main'

Browse Source
This commit is contained in:
Hosted Weblate 2023-02-18 03:58:50 +01:00
commit 495deb350a
No known key found for this signature in database
GPG Key ID: A3FAAA06E6569B4C
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Makefile
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
.PHONY: fetch-submodules
fetch-submodules:
# This update will fail because the commits we need aren't the latest on the # 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. # branch. We can ignore that though because we fix it with the second command.
# (Only works for git servers that allow sha fetches.) # (Only works for git servers that allow sha fetches.)
.PHONY: fetch-submodules
fetch-submodules:
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'