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