consistent naming for src/pico-serprog

don't ever name it rpi-pico-serprog

Signed-off-by: Leah Rowe <leah@libreboot.org>
This commit is contained in:
Leah Rowe 2023-10-20 06:49:59 +01:00
parent fac62a8c58
commit d245e0b1b4
3 changed files with 2 additions and 3 deletions

View File

@ -1,4 +1,4 @@
{rpi-pico-serprog}{
{pico-serprog}{
rev: c8c16e9c11fe9e5b7230ff358f79de3f1951e1d9
loc: pico-serprog
url: https://codeberg.org/libreboot/pico-serprog

View File

@ -22,7 +22,7 @@ main()
platform="rp2040"
boards_dir=${pico_sdk_dir}/src/boards/include/boards
[ -d "${pico_src_dir}/" ] || \
x_ ./update trees -f "rpi-pico-serprog"
x_ ./update trees -f "pico-serprog"
elif [ "${1}" = "stm32" ]; then
platform="stm32"
boards_dir=${stm32_src_dir}/boards

View File

@ -13,7 +13,6 @@ eval "$(setvars "" vdir relname src_dirname srcdir _nogit _xm target romdir \
_f="coreboot u-boot seabios flashrom grub memtest86plus uefitool"
_f="${_f} bios_extract biosutilities pico-serprog stm32-vserprog"
_f="${_f} rpi-pico-serprog"
main()
{