diff options
| -rwxr-xr-x | script/build/release/src | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/script/build/release/src b/script/build/release/src index 27a93729..402775ab 100755 --- a/script/build/release/src +++ b/script/build/release/src @@ -28,8 +28,9 @@ read projectname < projectname trees_fetch_list="coreboot u-boot seabios" simple_fetch_list="flashrom grub memtest86plus me_cleaner uefitool" simple_fetch_list="${simple_fetch_list} bios_extract biosutilities" +download_only_list="pico-serprog stm32-vserprog" -dirlist="config util script include" +dirlist="config util script include util-fw" linklist="build update handle" # symlinks in main directory, to script: lbmk filelist="lbmk README.md COPYING version versiondate projectname checkgit" filelist="${filelist} checkversion" @@ -87,7 +88,7 @@ download_modules() [ -d "${modname}" ] || ./update project trees ${modname} || \ err "download_modules: couldn't download ${modname} trees" done - for modname in ${simple_fetch_list}; do + for modname in ${simple_fetch_list} ${download_only_list}; do [ -d "${modname}/" ] || ./update project repo ${modname} || \ err "download_modules: couldn't download ${modname} repo" done |