summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorHeinrich Schuchardt <xypron.glpk@gmx.de>2018-05-24 19:34:45 +0200
committerAlexander Graf <agraf@suse.de>2018-06-03 15:27:21 +0200
commit7f474ef6cc3565bb3538b7004a50fd79280ae105 (patch)
tree3f1547e4feaacf6751204744826cec0826636afd /Makefile
parent03fb2691cb2699584b514ac332fcd7bedce626d9 (diff)
Makefile: clean should delete *.so
Files *.so are generated files. So the clean target should delete them. Reported-by: Alexander Graf <agraf@suse.de> Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de> Reviewed-by: Simon Glass <sjg@chromium.org> Signed-off-by: Alexander Graf <agraf@suse.de>
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 1278cea71b..4592564cb4 100644
--- a/Makefile
+++ b/Makefile
@@ -1625,7 +1625,7 @@ 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 '*.efi' -o -name '*.gcno' \) \
+ -o -name '*.efi' -o -name '*.gcno' -o -name '*.so' \) \
-type f -print | xargs rm -f
# mrproper - Delete all generated files, including .config