From 903d0baf7596ed5080c39f4727d05add7c322528 Mon Sep 17 00:00:00 2001 From: Packet Please Date: Wed, 6 Nov 2024 13:47:24 +0100 Subject: [PATCH] build: look for *.gz images as well --- build/build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build/build.sh b/build/build.sh index a9f29e6..280ab02 100755 --- a/build/build.sh +++ b/build/build.sh @@ -249,7 +249,7 @@ EOF |& tee "bin/targets/$target/faillogs/$p.log" >&2 # if build resulted in image files, we can delete the log - cnt="$(find "bin/targets/$target" -name '*.bin' -or -name '*.img' | wc -l)" + cnt="$(find "bin/targets/$target" -name '*.bin' -or -name '*.img' -or -name '*.gz' | wc -l)" if [ "$cnt" -gt 0 ] ; then rm -v "bin/targets/$target/faillogs/$p.log" fi @@ -258,6 +258,6 @@ EOF |& tee "$destdir/build.log" >&2 -find "$ibdir/bin/targets/$target" \( -name '*.bin' -or -name '*.img' -or -name 'profiles.json' -or -name 'faillogs' \) -exec cp -avx '{}' "$destdir/" \; +find "$ibdir/bin/targets/$target" \( -name '*.bin' -or -name '*.img' -or -name '*.gz' -or -name 'profiles.json' -or -name 'faillogs' \) -exec cp -avx '{}' "$destdir/" \; echo "Done."