diff options
Diffstat (limited to 'Makefile.d/modules/grub.mk')
-rw-r--r-- | Makefile.d/modules/grub.mk | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Makefile.d/modules/grub.mk b/Makefile.d/modules/grub.mk new file mode 100644 index 0000000..3f392aa --- /dev/null +++ b/Makefile.d/modules/grub.mk @@ -0,0 +1,8 @@ +grub_source = git://git.savannah.gnu.org/grub.git\#commit=e2dd6daa8c33e3e7641e442dc269fcca479c6fda + +grub_patches = resources/grub/patch/gitdiff +define grub_patch + cd $@ && git apply $(abspath resources/grub/patch/gitdiff) +endef + +grub_configure = --with-platform=coreboot |