David Lamparter b716e79ac5 build: trigger fewer unneccessary clippy rebuilds ... Make sure we include the clippy binary file in our timestamp mangling so `make` will correctly determine when clippy files don't need to be rebuilt. Signed-off-by: David Lamparter <equinox@diac24.net>		2018-08-30 08:06:44 +02:00
..
clippy	python/clippy: make output file writing less weird	2017-08-24 00:18:53 +02:00
clidef.py	build: trigger fewer unneccessary clippy rebuilds	2018-08-30 08:06:44 +02:00