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>
This commit is contained in:
David Lamparter 2018-08-16 00:03:58 +02:00 committed by David Lamparter
parent 0d0812a4ad
commit b716e79ac5

View File

@ -277,4 +277,4 @@ if __name__ == '__main__':
process_file(args.cfile, ofd, dumpfd, args.all_defun) process_file(args.cfile, ofd, dumpfd, args.all_defun)
if args.o is not None: if args.o is not None:
clippy.wrdiff(args.o, ofd, [args.cfile, os.path.realpath(__file__)]) clippy.wrdiff(args.o, ofd, [args.cfile, os.path.realpath(__file__), sys.executable])