[riot-notifications] [RIOT-OS/RIOT] dist/tools/compile_and_test_for_board: add compile and test script (#10818)

Gaƫtan Harter notifications at github.com
Mon Jan 21 12:05:07 CET 2019

Ohh, maybe I misunderstood. I agree that a short name when doing `make run_the_thing` is good.

I was talking more about the name for the script in `dist/tools` where I find an explicit descriptive name better than a short one.

For the short name/make integration, I would do another PR though.

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/20190121/5933bb2b/attachment.html>

More information about the notifications mailing list