From cbd3cdf7cb34529e269bb27c654765a0c9c21799 Mon Sep 17 00:00:00 2001 From: aqua Date: Mon, 31 Oct 2022 15:39:51 +0200 Subject: add ps2_keyboard driver --- Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index f623e7a..da1daa4 100644 --- a/Makefile +++ b/Makefile @@ -43,6 +43,7 @@ glitch.iso: glitch.elf grub/grub.cfg @grub-file --is-x86-multiboot2 glitch.elf @mkdir -p isodir/boot/grub @mkdir -p isodir/boot/glitch + @grub-script-check grub/grub.cfg @cp grub/grub.cfg isodir/boot/grub/grub.cfg @cp glitch.elf isodir/boot/glitch/glitch.elf @grub-mkrescue -o glitch.iso isodir -- cgit v1.2.1