diff options
author | Masahiro Yamada <yamada.m@jp.panasonic.com> | 2014-07-22 02:19:07 (GMT) |
---|---|---|
committer | Tom Rini <trini@ti.com> | 2014-07-29 15:48:36 (GMT) |
commit | b68a4062635cdb21e0904b385fb53fd49ae13432 (patch) | |
tree | 7f812338850500f78ac169968e9aae9782889fc9 /scripts | |
parent | 362f16b1e9e94024a511adae9977d145ef942b50 (diff) | |
download | u-boot-b68a4062635cdb21e0904b385fb53fd49ae13432.tar.xz |
scripts: add scripts/show-gnu-make to get GNU Make command name
U-Boot is expected to be built on various platforms.
We should keep in mind that the command 'make' is not always GNU Make,
while all the makefiles are written for GNU Make.
For example, on Linux, people generally do:
make <board>_config; make
But FreeBSD folks do
gmake <board>_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.
They should call this helper script and get the command name
for GNU Make.
Signed-off-by: Masahiro Yamada <yamada.m@jp.panasonic.com>
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/show-gnu-make | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/scripts/show-gnu-make b/scripts/show-gnu-make new file mode 100755 index 0000000..26271b5 --- /dev/null +++ b/scripts/show-gnu-make @@ -0,0 +1,25 @@ +#!/bin/sh +# +# Show the command name for 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 in scripts +# where where GNU Make is expected. +# Call this helper script to get the command name for 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 + echo $m + exit 0 + fi +done + +exit 1 |