diff options
| author | Robin Burchell <robin+git@viroteck.net> | 2019-06-02 14:26:25 +0200 |
|---|---|---|
| committer | Andreas Kling <awesomekling@gmail.com> | 2019-06-02 14:46:59 +0200 |
| commit | 466a8179506647d33ee4511c6945f111d31d9500 (patch) | |
| tree | 9b3cc48ba2df8fec9b5e1547756182253f2f522e /Kernel/Makefile | |
| parent | 7bce096afdf182216c9da4c94765e12662188c98 (diff) | |
| download | serenity-466a8179506647d33ee4511c6945f111d31d9500.zip | |
sync: Make this work for Fedora
Fedora has grub2-install (rather than grub-install), and it expects
grub.cfg to be placed in boot/grub2/ rather than boot/grub/.
Diffstat (limited to 'Kernel/Makefile')
0 files changed, 0 insertions, 0 deletions