diff options
| -rwxr-xr-x | scripts/build/source_debian | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/scripts/build/source_debian b/scripts/build/source_debian index bcd45a65b..36a654e26 100755 --- a/scripts/build/source_debian +++ b/scripts/build/source_debian @@ -46,7 +46,15 @@ then fi # Download sources -Chroot chroot "dpkg --get-selections" | awk '{ print $1 }' > source-selection.txt + +cat >> chroot/source-selection.sh << EOF +#!/bin/sh +dpkg-query -W -f='\${binary:Package}=\${Version}\n' > source-selection.txt +EOF + +Chroot chroot "sh source-selection.sh" +rm -f chroot/source-selection.sh +mv chroot/source-selection.txt ./ echo "${LB_BOOTLOADERS}" | \ while IFS="," read -r BOOTLOADER |