Makefile: clean should delete *.efi
authorHeinrich Schuchardt <xypron.glpk@gmx.de>
Thu, 17 May 2018 16:57:13 +0000 (18:57 +0200)
committerAlexander Graf <agraf@suse.de>
Sun, 3 Jun 2018 13:27:20 +0000 (15:27 +0200)
commitc2d9097ac9ca4f30e7f1a87af08d8fed644bb057
treeaa0efa9ae55f91f76f42e1f8fc2c487cdc728290
parentf2560e2dea5d7ff2fa67b9996c5ce5e6bb644627
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>
Makefile