diff options
author | Leah Rowe <leah@libreboot.org> | 2023-10-02 22:37:09 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2023-10-02 22:37:09 +0100 |
commit | 3af63fb8b70e9c939c0a8e8e27bfa23e900506f1 (patch) | |
tree | 78244c42c29d4520ef3fe605f3d5eccd4074dbbc /config/coreboot/default/patches/0022-ec-dell-mec5035-Hook-up-radio-enables-to-option-API.patch | |
parent | ad74b4c2819a445831d48ba21529e93c12419c32 (diff) |
handle/make/file: exit 0 if no makefile
There is no reason to err if no Makefile exists.
Just exit with zero status. This makes the following
command work:
./handle make file -c util/*
Within util/, there is me7 update parser which does
not have a makefile (it's a python script).
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'config/coreboot/default/patches/0022-ec-dell-mec5035-Hook-up-radio-enables-to-option-API.patch')
0 files changed, 0 insertions, 0 deletions