handle/make/file: check for all default makefiles

Previously, this script only checked for "Makefile",
but "makefile" is another valid name; additionally, if
GNU Make is used, "GNUmakefile" is an accepted default.

Signed-off-by: Leah Rowe <leah@libreboot.org>
btrfsvols
Leah Rowe 2023-10-02 23:46:20 +01:00
parent 0db6c0a4a8
commit 8097baa0bd
1 changed files with 2 additions and 1 deletions

View File

@ -44,7 +44,8 @@ handle_dependencies()
run_make_command()
{
[ -f "${project}/Makefile" ] || return 0
[ -f "${project}/Makefile" ] || [ -f "${project}/makefile" ] || \
[ -f "${project}/GNUmakefile" ] || return 0
if [ -z "${mode}" ]; then
x_ make -C "${project}" -j$(nproc)
else