riot-ci/RIOT
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

pkg/pkg.mk: avoid git fetch if version is already there

Browse Source
This commit is contained in:
Alexandre Abadie 2021-05-30 11:16:52 +02:00
parent 3d18f1ad67
commit 025e5db592
No known key found for this signature in database
GPG Key ID: 1C919A403CAE1405
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkg/pkg.mk
View File

@ -113,7 +113,10 @@ $(PKG_PATCHED): $(PKG_PATCHED_PREREQUISITES)
$(PKG_DOWNLOADED): $(MAKEFILE_LIST) | $(PKG_SOURCE_DIR)/.git $(PKG_DOWNLOADED): $(MAKEFILE_LIST) | $(PKG_SOURCE_DIR)/.git
$(info [INFO] updating $(PKG_NAME) $(PKG_DOWNLOADED)) $(info [INFO] updating $(PKG_NAME) $(PKG_DOWNLOADED))
$(Q)$(GIT_IN_PKG) fetch $(GIT_QUIET) $(PKG_URL) $(PKG_VERSION) $(Q)if ! $(GIT_IN_PKG) cat-file -e $(PKG_VERSION); then \
printf "[INFO] fetching new $(PKG_NAME) version "$(PKG_VERSION)"\n"; \
$(GIT_IN_PKG) fetch $(GIT_QUIET) "$(PKG_URL)" "$(PKG_VERSION)"; \
fi
echo $(PKG_VERSION) > $@ echo $(PKG_VERSION) > $@
$(PKG_SOURCE_DIR)/.git: | $(PKG_CUSTOM_PREPARED) $(PKG_SOURCE_DIR)/.git: | $(PKG_CUSTOM_PREPARED)