diff options
| author | David Lamparter <equinox@opensourcerouting.org> | 2017-08-23 17:33:17 +0200 |
|---|---|---|
| committer | David Lamparter <equinox@opensourcerouting.org> | 2017-08-24 00:18:53 +0200 |
| commit | 67eb7a6c9910c121e7975e26eaae199cb03ff2b1 (patch) | |
| tree | bef9766f89da8fb3664126b07fe133fbb668be4e /python/clidef.py | |
| parent | 3cbb67f2294305ab8046db0405b0d486650d30dd (diff) | |
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>
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 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__)]) |