[riot-notifications] [RIOT-OS/RIOT] Makefile.include: require make version 4. (#10554)
notifications at github.com
Wed May 29 11:46:18 CEST 2019
> > 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...
More information about the notifications