]> git.dujemihanovic.xyz Git - u-boot.git/commitdiff
Makefile: clean should delete *.so
authorHeinrich Schuchardt <xypron.glpk@gmx.de>
Thu, 24 May 2018 17:34:45 +0000 (19:34 +0200)
committerAlexander Graf <agraf@suse.de>
Sun, 3 Jun 2018 13:27:21 +0000 (15:27 +0200)
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>
Makefile

index 1278cea71b140154f007c05bd8ebcbc572e7fe4d..4592564cb4a3750d094dbe542ee145a1ef6ec3b4 100644 (file)
--- 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