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>

diff --git a/python/clidef.py b/python/clidef.py
index 2e5590964715b3db3c24b8211a9d1462db96c624..4134f4c94e7239bdd7e887936f4bc6927f5eaff9 100644 (file)
--- 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])