diff options
Diffstat (limited to 'bin/docs-update-generated.py')
| -rw-r--r-- | bin/docs-update-generated.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bin/docs-update-generated.py b/bin/docs-update-generated.py index d22cc32..c164baf 100644 --- a/bin/docs-update-generated.py +++ b/bin/docs-update-generated.py @@ -9,6 +9,7 @@ from __future__ import print_function import os +import sys import SConsDoc # Directory where all generated files are stored @@ -42,8 +43,8 @@ def generate_all(): print("Couldn't create destination folder %s! Exiting..." % gen_folder) return # Call scons-proc.py - os.system('python %s -b %s -f %s -t %s -v %s %s' % - (os.path.join('bin','scons-proc.py'), + os.system('%s %s -b %s -f %s -t %s -v %s %s' % + (sys.executable, os.path.join('bin','scons-proc.py'), argpair('builders'), argpair('functions'), argpair('tools'), argpair('variables'), ' '.join(flist))) |