diff options
Diffstat (limited to 'scripts/build/binary_grub-pc')
-rwxr-xr-x | scripts/build/binary_grub-pc | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/scripts/build/binary_grub-pc b/scripts/build/binary_grub-pc index de2683c79..1eae93a2a 100755 --- a/scripts/build/binary_grub-pc +++ b/scripts/build/binary_grub-pc @@ -24,9 +24,23 @@ Arguments "${@}" Read_conffiles config/all config/common config/bootstrap config/chroot config/binary config/source Set_defaults -if [ "${LB_BOOTLOADER}" != "grub-pc" ] -then - exit 0 +FOUND_MYSELF="" +OLDIFS="$IFS" +IFS="," +for BOOTLOADER in ${LB_BOOTLOADERS} +do + + case ${BOOTLOADER} in + "grub-pc" ) + FOUND_MYSELF="True" + break ;; + esac + +done +IFS="$OLDIFS" + +if [ -z ${FOUND_MYSELF} ] ; then + exit 0 fi Echo_message "Begin installing grub-pc..." |