diff options
author | Leah Rowe <leah@libreboot.org> | 2023-09-03 17:36:42 +0100 |
---|---|---|
committer | Leah Rowe <leah@libreboot.org> | 2023-09-03 17:36:42 +0100 |
commit | 1dc54608a125a66af2900ed5f1497d7b1e168b03 (patch) | |
tree | 5a8d900a294ce24518c1816b8d2dee9140057adb /resources/grub/patches/0004-Define-GRUB_UINT32_MAX.patch | |
parent | c63052cf19c4cb04b878a9fb5806ecea7e73273c (diff) |
fix rpi-pico builds when running it twice
it needed to be make-cleaned
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