From: David Lamparter Date: Wed, 15 Aug 2018 22:03:58 +0000 (+0200) Subject: build: trigger fewer unneccessary clippy rebuilds X-Git-Tag: frr-7.1-dev~404^2~9 X-Git-Url: https://git.puffer.fish/?a=commitdiff_plain;h=b716e79ac5997cd8b5bb0b5b270e77bbfa438fad;p=mirror%2Ffrr.git 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 --- 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])