summaryrefslogtreecommitdiff
path: root/python/clidef.py
diff options
context:
space:
mode:
authorQuentin Young <qlyoung@users.noreply.github.com>2018-08-31 11:43:59 -0400
committerGitHub <noreply@github.com>2018-08-31 11:43:59 -0400
commit04f04f0fa5cc206c655658b3c556932d57a95ac6 (patch)
tree61ab3e6c7e3fb708134e0bc79138d3c5e25e178b /python/clidef.py
parentfc59d63c49919101b7291373aee138a65b9f7ef9 (diff)
parent2282d92812f75b5d340ac321ea4b677659584407 (diff)
Merge pull request #2913 from opensourcerouting/non-recursive-prep
pre-final non-recursive make
Diffstat (limited to 'python/clidef.py')
-rw-r--r--python/clidef.py2
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])