22 Jul
2014
22 Jul
'14
5:54 a.m.
Hi Jeroen,
On Fri, 18 Jul 2014 20:19:52 +0200 Jeroen Hofstee jeroen@myspectrum.nl wrote:
Instead, they should call the make command via this helper script to make sure it is GNU Make.
yup, or the name of the executable could be displayed, so it only needs to be checked once at startup (and error out if no GNU make is found at all).
Good idea!
MAKEALL and buildman generally invoke make for a lot of boards. Searching it once at startup seems better.
+++ b/scripts/gnu_make
nitpicking, most script use a dash instead of an underscore.
Renamed in v2.
Best Regards Masahiro Yamada