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 66b22c0..55f0035 100644 --- a/bin/docs-update-generated.py +++ b/bin/docs-update-generated.py @@ -8,6 +8,7 @@ # import os +import sys import SConsDoc # Directory where all generated files are stored @@ -41,8 +42,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))) |