[riot-notifications] [RIOT-OS/RIOT] pkg/pkg.mk: Avoid doing a git fetch if we already have the commit. (#11491)
Juan I Carrano
notifications at github.com
Mon May 6 11:20:22 CEST 2019
### Contribution description
D'oh! I screwed up a little in #11129 and a git fetch was being done for each package every time the user ran make.
If the commit is already in the local repo, we should not need to do any network operation.
### Testing procedure
Type `make` twice in any example that uses packages. See how it is fetched twice. With this patch it is not.
### Issues/PRs references
Bug introduced in #11129.
You can view, comment on, or merge this pull request online at:
-- Commit Summary --
* pkg/pkg.mk: Avoid doing a git fetch if we already have the commit.
-- File Changes --
M pkg/pkg.mk (4)
-- Patch Links --
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the notifications