[riot-notifications] [RIOT-OS/RIOT] dist/tools/compile_and_test_for_board: add compile and test script (#10818)
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...
More information about the notifications