summaryrefslogtreecommitdiff
path: root/bin/docs-update-generated.py
diff options
context:
space:
mode:
Diffstat (limited to 'bin/docs-update-generated.py')
-rw-r--r--bin/docs-update-generated.py5
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)))