Matthias Krüger 363f6d3dc6 lintcheck: rerun if clippy changed ...

Automatically clean lintchecks shared target dir (will force clippy to recheck sources) if
the clippy binaries are older than the lintcheck logs.

Also update lintcheck logs

2021-02-23 08:32:50 +01:00

..

lintcheck_crates_logs.txt

lintcheck: rerun if clippy changed

2021-02-23 08:32:50 +01:00