David Lamparter c4ca3ef5e7 clippy: find headers relative to source tree ... The current directory is in the build tree while running clippy; find ourselves so we can access headers from the source tree. Signed-off-by: David Lamparter <equinox@opensourcerouting.org>		2019-07-03 15:05:41 +02:00
..
clippy	python/clippy: make output file writing less weird	2017-08-24 00:18:53 +02:00
clidef.py	clippy: find headers relative to source tree	2019-07-03 15:05:41 +02:00