[riot-notifications] [RIOT-OS/RIOT] tools/docheck: fix for non-GNU OSes (#12240)

Gaëtan Harter notifications at github.com
Mon Sep 16 12:39:17 CEST 2019

So also, documentation, README, examples should mention use 'make' or 'gmake' ?
And packages and external tools compilers updated to use $(MAKE) too if they use it directly.

I don't find it worth the effort for a platform that is not used.
Just ask to configure the system accordingly.

Windows users also have some setup to do anyway.

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/20190916/0c9f8a98/attachment.htm>

More information about the notifications mailing list