Merge pull request #803 from ajeddeloh/build-1688

build_image: run grub_install.sh twice
This commit is contained in:
Andrew Jeddeloh 2018-03-29 13:28:40 -07:00 committed by GitHub
commit 53b81a856c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -592,6 +592,15 @@ EOF
--disk_image="${disk_img}" \
"${grub_args[@]}"
done
# hack hack hack to work around grub bug. I'm so sorry
# FIXME: ajeddeloh
for target in ${target_list}; do
${BUILD_LIBRARY_DIR}/grub_install.sh \
--board="${BOARD}" \
--target="${target}" \
--disk_image="${disk_img}" \
"${grub_args[@]}"
done
fi
if [[ -n "${pcr_policy}" ]]; then