From 67eb7a6c9910c121e7975e26eaae199cb03ff2b1 Mon Sep 17 00:00:00 2001
From: David Lamparter <equinox@opensourcerouting.org>
Date: Wed, 23 Aug 2017 17:33:17 +0200
Subject: python/clippy: make output file writing less weird

This should stomp out any parallel build issues in this regard.

Fixes: #971
Signed-off-by: David Lamparter <equinox@opensourcerouting.org>
---
 python/clidef.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'python/clidef.py')

diff --git a/python/clidef.py b/python/clidef.py
index 8e3c7595b7..aa6cd18b8b 100644
--- a/python/clidef.py
+++ b/python/clidef.py
@@ -257,4 +257,4 @@ if __name__ == '__main__':
     process_file(args.cfile, ofd, dumpfd, args.all_defun)
 
     if args.o is not None:
-        clippy.wrdiff(args.o, ofd)
+        clippy.wrdiff(args.o, ofd, [args.cfile, os.path.realpath(__file__)])
-- 
cgit v1.2.3