diff options
| author | David Lamparter <equinox@diac24.net> | 2018-08-16 00:03:58 +0200 |
|---|---|---|
| committer | David Lamparter <equinox@opensourcerouting.org> | 2018-08-30 08:06:44 +0200 |
| commit | b716e79ac5997cd8b5bb0b5b270e77bbfa438fad (patch) | |
| tree | 83120e47f130abf709306b00580f847b1d26fa59 /python/clidef.py | |
| parent | 0d0812a4ad09955058ae09ce3240ac380de53bfc (diff) | |
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>
Diffstat (limited to 'python/clidef.py')
| -rw-r--r-- | python/clidef.py | 2 |
1 files changed, 1 insertions, 1 deletions
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]) |