diff options
author | Heinrich Schuchardt <xypron.glpk@gmx.de> | 2018-05-24 19:34:45 +0200 |
---|---|---|
committer | Alexander Graf <agraf@suse.de> | 2018-06-03 15:27:21 +0200 |
commit | 7f474ef6cc3565bb3538b7004a50fd79280ae105 (patch) | |
tree | 3f1547e4feaacf6751204744826cec0826636afd | |
parent | 03fb2691cb2699584b514ac332fcd7bedce626d9 (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>
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |