[riot-notifications] [RIOT-OS/RIOT] pkg/pkg.mk: make sure we are building the correct commit. (#11129)

Dylan Laduranty notifications at github.com
Sun Mar 17 09:05:25 CET 2019


ACK on my side.

@jcarrano could you squash please ?

> Why not define an "update-tools" target instead? That way you can be sure that you have up-to date tools for whatever version of RIOT you may be using.

This is an interesting idea, but I'm quite happy with this PR as it.

-- 
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/11129#issuecomment-473627226
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190317/692fc528/attachment.html>


More information about the notifications mailing list