[riot-notifications] [RIOT-OS/RIOT] Makefile.include: introduce 'BOARDSDIR' for boards directory (#12183)

Gaëtan Harter notifications at github.com
Mon Sep 9 18:30:35 CEST 2019

@bergzand Finally something for your issue :)

@vincent-d @javierfileiv @toonst I think you were all interested by this. Please complain if it does not work for your need, I want an implementation that can be used.

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/20190909/367cba5f/attachment.htm>

More information about the notifications mailing list