[riot-notifications] [RIOT-OS/RIOT] [WIP] Fixes to compile using DOCKER and flash boards without local toolchain (#10870)

Gaƫtan Harter notifications at github.com
Thu Mar 28 11:29:20 CET 2019

I removed the change for `JLinkGGBServer' as I introduced it for completeness before testing it, but it is not a supported option. I kept only the Jlink fix that I will put in its own pull request.

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...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190328/cf0cbc4a/attachment.html>

More information about the notifications mailing list