Browse Source
Merge pull request #42 from DominikAdamski/fix_GRUB_version
Use fix GRUB version for kernels newer than 4.12
1.0.x
Adam Podogrocki
6 years ago
committed by
GitHub
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with
2 additions and
0 deletions
-
bbb-convert-stage-5.sh
|
|
|
@ -123,6 +123,8 @@ build_grub_efi() { |
|
|
|
# To avoid error message: "plain image kernel not supported - rebuild |
|
|
|
# with CONFIG_(U)EFI_STUB enabled" - use a specific commit. |
|
|
|
git checkout 9b37229f0 >> "$build_log" 2>&1 |
|
|
|
else |
|
|
|
git checkout 72e80c025 >> "$build_log" 2>&1 |
|
|
|
fi |
|
|
|
|
|
|
|
mkdir -p $grub_arm_dir |
|
|
|
|
