From: Heinrich Schuchardt <xypron.glpk@gmx.de>
Date: Thu, 17 May 2018 16:57:13 +0000 (+0200)
Subject: Makefile: clean should delete *.efi
X-Git-Tag: v2018.07-rc1~10^2~27
X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=c2d9097ac9ca4f30e7f1a87af08d8fed644bb057;p=u-boot

Makefile: clean should delete *.efi

Files *.efi are generated files. So the clean target should delete them.

Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
Signed-off-by: Alexander Graf <agraf@suse.de>
---

diff --git a/Makefile b/Makefile
index 2995a19891..1278cea71b 100644
--- a/Makefile
+++ b/Makefile
@@ -1625,7 +1625,8 @@ clean: $(clean-dirs)
 		-o -name '*.symtypes' -o -name 'modules.order' \
 		-o -name modules.builtin -o -name '.tmp_*.o.*' \
 		-o -name 'dsdt.aml' -o -name 'dsdt.asl.tmp' -o -name 'dsdt.c' \
-		-o -name '*.gcno' \) -type f -print | xargs rm -f
+		-o -name '*.efi' -o -name '*.gcno' \) \
+		-type f -print | xargs rm -f
 
 # mrproper - Delete all generated files, including .config
 #