From mboxrd@z Thu Jan 1 00:00:00 1970 From: Jeroen Hofstee Date: Fri, 18 Jul 2014 20:19:52 +0200 Subject: [U-Boot] [PATCH 1/3] scripts: add scripts/gnu_make to not hard-code make command In-Reply-To: <1405588682-10724-2-git-send-email-yamada.m@jp.panasonic.com> References: <1405588682-10724-1-git-send-email-yamada.m@jp.panasonic.com> <1405588682-10724-2-git-send-email-yamada.m@jp.panasonic.com> Message-ID: <53C96548.5020408@myspectrum.nl> List-Id: MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit To: u-boot@lists.denx.de Hello Masahiro, On 17-07-14 11:18, Masahiro Yamada wrote: > U-Boot is expected to be built on various platforms > but makefiles are written for GNU Make. > > We should keep in mind that the command 'make' is not always GNU Make. > > For example, on Linux, people generally do: > > make _config; make > > But FreeBSD folks do > > gmake _config; gmake > > (The command 'make' on FreeBSD is BSD Make, not GNU Make) > > It is not a good idea to hard-code the command name 'make' > in MAKEALL or buildman. indeed, not a good idea. > 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). > +++ b/scripts/gnu_make nitpicking, most script use a dash instead of an underscore. > @@ -0,0 +1,30 @@ > +#!/bin/sh > +# > +# Call GNU Make > +# > +# U-Boot is supposed to be built on various platforms. > +# One problem is that the command 'make' is not always GNU Make. > +# (For ex. the command name for GNU Make on FreeBSD is usually 'gmake'.) > +# It is not a good idea to hard-code the command name 'make' > +# in scripts where where GNU Make is expected. > +# In that case, call this helper script to make sure to invoke GNU Make. > +# > +# SPDX-License-Identifier: GPL-2.0+ > +# > + > +gnu_make= > + > +for m in make gmake > +do > + if $m --version 2>/dev/null | grep -q GNU; then > + gnu_make=$m > + break > + fi > +done > + > +if [ -z "$gnu_make" ]; then > + echo "GNU Make not found" >&2 > + exit 1 > +fi > + > +$gnu_make "$@" > I guess, it could use exec here, since the script itself is no longer needed. Regards, Jeroen