Hi Jeroen,
On Fri, 18 Jul 2014 20:19:52 +0200 Jeroen Hofstee <[email protected]> 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 _______________________________________________ U-Boot mailing list [email protected] http://lists.denx.de/mailman/listinfo/u-boot
