[riot-notifications] [RIOT-OS/RIOT] Makefile.include: require make version 4. (#10554)

Sebastian Meiling notifications at github.com
Tue May 28 16:39:54 CEST 2019

> What is the status with this? Mac users, is it tool burdensome to install make 4? (it is a sincere question, I've never used a mac in my life.)

using Home-Brew or MacPorts, which most developers do anyway, its straight forward and easy. But still we should have proper versions checks and warnings. for (all) tools we use and require. So this PR makes perfect sense to me for now - because ideally such dependency checks should be done in a system discovery (or bootstrap) step before the compile step; like `./configure` ... 

As we do not have that (yet), we should proceed with this PR.

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/20190528/eb24c826/attachment.html>

More information about the notifications mailing list