[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:

  https://github.com/RIOT-OS/RIOT/pull/11491

-- 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 --

https://github.com/RIOT-OS/RIOT/pull/11491.patch
https://github.com/RIOT-OS/RIOT/pull/11491.diff

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/11491
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190506/1924baab/attachment.html>


More information about the notifications mailing list