diff options
| author | Heinrich Schuchardt <xypron.glpk@gmx.de> | 2018-05-17 18:57:13 +0200 |
|---|---|---|
| committer | Alexander Graf <agraf@suse.de> | 2018-06-03 15:27:20 +0200 |
| commit | c2d9097ac9ca4f30e7f1a87af08d8fed644bb057 (patch) | |
| tree | aa0efa9ae55f91f76f42e1f8fc2c487cdc728290 /Makefile | |
| 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>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 # |