From 98d1ea5ae7fed70b3ecf40c15d9b7be1714e0b91 Mon Sep 17 00:00:00 2001 From: Leah Rowe Date: Fri, 1 Sep 2023 11:02:47 +0100 Subject: build/release/src: bugfix: actually copy cb/ub/sb coreboot, seabios and u-boot were not being copied at all Signed-off-by: Leah Rowe --- script/build/release/src | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'script/build/release') diff --git a/script/build/release/src b/script/build/release/src index c390c63c..db737d2d 100755 --- a/script/build/release/src +++ b/script/build/release/src @@ -96,6 +96,20 @@ download_modules() copy_files() { + for dir in ${trees_fetch_list}; do + [ -d "${dir}" ] || continue + for subdir in "${dir}"/*; do + [ -d "${subdir}" ] || continue + [ "${subdir##*/}" = "${dir}" ] && continue + mkdir -p "${srcdir}/${dir}" || \ + err "copy_files: !mkdir -p ${srcdir}/${dir}" + [ ! -d "${srcdir}/${dir}/${subdir##*/}" ] || \ + rm -Rf "${srcdir}/${dir}/${subdir##*/}" || \ + err "copy_f:can't rm ${srcdir}/${dir}/${subdir##*/}" + cp -R "${subdir}" "${srcdir}/${dir}/${subdir##*/}" || \ + err "copy_f:can't cp ${srcdir}/${dir}/${subdir##*/}" + done + done for dir in ${simple_fetch_list} ${dirlist}; do cp -R "${dir}/" "${srcdir}/" || \ err "copy_files: !cp -R ${dir}/ ${srcdir}/" -- cgit v1.2.1