diff options
author | Leah Rowe <leah@libreboot.org> | 2023-10-02 23:46:20 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2023-10-02 23:46:20 +0100 |
commit | 8097baa0bdabcefd804c7acfc48b14243012eea4 (patch) | |
tree | 96cafab0e716351b9766cc313267f12aef1bc275 /config/dependencies/fedora38 | |
parent | 0db6c0a4a86c12dcdfd5184981170b0b46fcf68e (diff) |
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>
Diffstat (limited to 'config/dependencies/fedora38')
0 files changed, 0 insertions, 0 deletions