diff options
Diffstat (limited to 'resources/scripts')
| -rwxr-xr-x | resources/scripts/build/release/src | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/resources/scripts/build/release/src b/resources/scripts/build/release/src index 42870d79..09a9810e 100755 --- a/resources/scripts/build/release/src +++ b/resources/scripts/build/release/src @@ -22,9 +22,15 @@ set -u -e projectname="$(cat projectname)" -modlist="coreboot flashrom grub memtest86plus seabios me_cleaner u-boot bios_extract" -dirlist="resources util" # do not add blobs directory here. it is handled below -filelist="blobutil modify download build README.md COPYING Makefile update version versiondate projectname .gitcheck gitclone" + +modlist="coreboot flashrom grub memtest86plus seabios me_cleaner u-boot" +modlist="${modlist} bios_extract" + +dirlist="resources util" # do not add blobs directory here. it's handled below + +filelist="blobutil modify download build README.md COPYING Makefile update" +filelist="${filelist} version versiondate projectname .gitcheck gitclone" + version="version-unknown" versiondate="version-date-unknown" reldir="" @@ -86,9 +92,8 @@ copy_files() for i in ${filelist}; do if [ ! -f "${i}" ]; then - printf "build/release/src: ERROR: file '%s' does not exist.\n" "${i}" rm -Rf "${srcdir}" - exit 1 + err "file '${1}' does not exist" fi cp ${i} "${srcdir}/" done |