summaryrefslogtreecommitdiff
path: root/resources/grub/patches/0004-Define-GRUB_UINT32_MAX.patch
diff options
context:
space:
mode:
authorLeah Rowe <leah@libreboot.org>2023-09-03 17:36:42 +0100
committerLeah Rowe <leah@libreboot.org>2023-09-03 17:36:42 +0100
commit1dc54608a125a66af2900ed5f1497d7b1e168b03 (patch)
tree5a8d900a294ce24518c1816b8d2dee9140057adb /resources/grub/patches/0004-Define-GRUB_UINT32_MAX.patch
parentc63052cf19c4cb04b878a9fb5806ecea7e73273c (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