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 /arch | |
| 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>
Diffstat (limited to 'arch')
0 files changed, 0 insertions, 0 deletions