diff options
-rwxr-xr-x | scripts/build/binary_hdd | 4 | ||||
-rwxr-xr-x | scripts/build/source_debian | 4 |
2 files changed, 2 insertions, 6 deletions
diff --git a/scripts/build/binary_hdd b/scripts/build/binary_hdd index a4ef83170..ee946c822 100755 --- a/scripts/build/binary_hdd +++ b/scripts/build/binary_hdd @@ -56,9 +56,7 @@ Check_package chroot /sbin/parted parted Check_package host /sbin/fdisk fdisk Check_package host /sbin/losetup mount -echo "${LB_BOOTLOADERS}" | \ -while IFS="," read -r BOOTLOADER -do +for BOOTLOADER in $(echo "${LB_BOOTLOADERS}" | tr "," "\n"); do case "${BOOTLOADER}" in grub) Check_package chroot /usr/sbin/grub grub diff --git a/scripts/build/source_debian b/scripts/build/source_debian index 15b7fcc48..efd65036d 100755 --- a/scripts/build/source_debian +++ b/scripts/build/source_debian @@ -57,9 +57,7 @@ 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 -do +for BOOTLOADER in $(echo "${LB_BOOTLOADERS}" | tr "," "\n"); do echo "${BOOTLOADER}" >> source-selection.txt done |