diff options
| -rw-r--r-- | config/git/rpi-pico-serprog | 2 | ||||
| -rwxr-xr-x | script/build/serprog | 2 | ||||
| -rwxr-xr-x | script/update/release | 1 |
3 files changed, 2 insertions, 3 deletions
diff --git a/config/git/rpi-pico-serprog b/config/git/rpi-pico-serprog index d853c631..18df2a66 100644 --- a/config/git/rpi-pico-serprog +++ b/config/git/rpi-pico-serprog @@ -1,4 +1,4 @@ -{rpi-pico-serprog}{ +{pico-serprog}{ rev: c8c16e9c11fe9e5b7230ff358f79de3f1951e1d9 loc: pico-serprog url: https://codeberg.org/libreboot/pico-serprog diff --git a/script/build/serprog b/script/build/serprog index 43251acd..93ea9302 100755 --- a/script/build/serprog +++ b/script/build/serprog @@ -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 diff --git a/script/update/release b/script/update/release index 6188d793..a9208cb2 100755 --- a/script/update/release +++ b/script/update/release @@ -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() { |