diff options
author | Leah Rowe <leah@libreboot.org> | 2023-08-27 12:30:07 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2023-08-27 12:30:07 +0100 |
commit | 0e6851c893a4ee22bbae0c42aef9b2b4a03d7834 (patch) | |
tree | 42d86381f3c5dd27409fcd070638b474c2fd622c /resources/grub/patches/0004-Define-GRUB_UINT32_MAX.patch | |
parent | ebbefa6030000137016b7a66209c313b91f72fc8 (diff) |
delete the Makefile
we don't use it in lbmk. it's there mostly because
it was technically feasible, and it still is
however, i've been doing massive re-factoring of
lbmk and the makefile and i just don't feel like
constantly patching up the makefile
if someone wants to re-add it, that's fine. but i
don't see the point in maintaining something that
we don't need.
the makefile is not needed. all it did was call
lbmk directly. the makefile had no logic itself.
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'resources/grub/patches/0004-Define-GRUB_UINT32_MAX.patch')
0 files changed, 0 insertions, 0 deletions