[riot-notifications] [RIOT-OS/RIOT] tools/docheck: fix for non-GNU OSes (#12240)
notifications at github.com
Mon Sep 16 12:27:15 CEST 2019
Also, almost everything tells to call 'make' directly, does it not make sense to ask to have a PATH where 'make' is 'gmake' ?
Changing this is in theory "possible", but not sure it is realistic or worth the effort of adding the indirection globally.
There is of course lots of false positive in this output but you get the idea:
git grep 'make' '**' ':!doc' ':!**/*.c' ':!**/*.h' | wc -l
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