| commit | c2d9097ac9ca4f30e7f1a87af08d8fed644bb057 | [log] [tgz] |
|---|---|---|
| author | Heinrich Schuchardt <xypron.glpk@gmx.de> | Thu May 17 18:57:13 2018 +0200 |
| committer | Alexander Graf <agraf@suse.de> | Sun Jun 03 15:27:20 2018 +0200 |
| tree | aa0efa9ae55f91f76f42e1f8fc2c487cdc728290 | |
| parent | f2560e2dea5d7ff2fa67b9996c5ce5e6bb644627 [diff] |
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>