From b716e79ac5997cd8b5bb0b5b270e77bbfa438fad Mon Sep 17 00:00:00 2001 From: David Lamparter Date: Thu, 16 Aug 2018 00:03:58 +0200 Subject: [PATCH] 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 --- python/clidef.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/clidef.py b/python/clidef.py index 2e55909647..4134f4c94e 100644 --- a/python/clidef.py +++ b/python/clidef.py @@ -277,4 +277,4 @@ if __name__ == '__main__': process_file(args.cfile, ofd, dumpfd, args.all_defun) 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]) -- 2.39.5