[riot-notifications] [RIOT-OS/RIOT] Makefile.include: require make version 4. (#10554)
Juan I Carrano
notifications at github.com
Tue May 28 16:44:09 CEST 2019
> to replace system make....
Is it necessary to replace system make?
> 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.
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