From 0dc036afe3f7e16e621f0811b361653537d0ca3b Mon Sep 17 00:00:00 2001 From: "K. Lange" Date: Fri, 6 Jul 2018 16:37:22 +0900 Subject: [PATCH] clean efi files on clean --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index 3595abdd..98e2ea27 100644 --- a/Makefile +++ b/Makefile @@ -234,6 +234,9 @@ clean: rm -f cdrom/ramdisk.img rm -f cdrom/boot/boot.sys rm -f boot/*.o + rm -f boot/*.efi + rm -f boot/*.so + rm -f cdrom/boot/efi.img rm -f cdrom/kernel rm -f cdrom/netboot cdrom/netinit rm -f ${KERNEL_OBJS} ${KERNEL_ASMOBJS} kernel/symbols.o kernel/symbols.S