mirror of
https://codeberg.org/libreboot/lbmk.git
synced 2026-03-28 15:09:04 +02:00
de6d2f556f
We were previously not handling picotool at all, and
pico-sdk would download picotool itself, at build time.
This means that the source archive, if created, would
not contain picotool. While not strictly required, for
complete corresponding source, since it's a toolchain
and not the actual pico-serprog firmware, it is my policy
that releases must include full corresponding source code,
when it is feasible to do so.
I must say, I intensely dislike cmake, with such burning
passion; I am thoroughly displeased by how hacky this is,
but it works and now nothing is in my way for a Libreboot
20241206 rev8 release!
Signed-off-by: Leah Rowe <leah@libreboot.org>
6 lines
189 B
INI
6 lines
189 B
INI
# SPDX-License-Identifier: GPL-3.0-or-later
|
|
|
|
rev="df21059f7ca6f1babc7f1f3b92122cacffc85951"
|
|
url="https://github.com/raspberrypi/picotool"
|
|
bkup_url="https://codeberg.org/libreboot/picotool"
|