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

Sebastian Meiling notifications at github.com
Wed May 29 11:46:18 CEST 2019

> @smlng
> > to replace system make....
> Is it necessary to replace system make?

No, actually not - just prepend to PATH to find the newer version first

> > But still we should have proper versions checks and warnings
> Agreed, except checking for the make version is a special case because:
> * Make can self-check (i.e. no need to run external commands which is slow and the reason why we would want a separate step)
> * Make is the tool supposed to do the checking (or at least invoke it) so if the check for make is in a script which gets invoked by make it is already too late.

yeah, what I meant was more like: not do the check over and over again but rather have something like `./configure` to search for all tools and toolchains once on a system and store that permanently.

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/20190529/54e958bc/attachment-0001.html>

More information about the notifications mailing list