Index: tools/dump-cpp.py |
diff --git a/tools/dump-cpp.py b/tools/dump-cpp.py |
index b7bb32e9bf2ca769f95eaeb86c88b2f7e8187e7d..5198ecab21f3f9561fb47e12910603904ffac6f6 100644 |
--- a/tools/dump-cpp.py |
+++ b/tools/dump-cpp.py |
@@ -18,7 +18,7 @@ def is_file_executable(fPath): |
if __name__ == '__main__': |
JS_FILES = ['splaytree.js', 'codemap.js', 'csvparser.js', 'consarray.js', |
'profile.js', 'logreader.js', 'tickprocessor.js', 'SourceMap.js', |
- 'dumpcpp.js'] |
+ 'dumpcpp.js', 'dumpcpp-driver.js'] |
tools_path = os.path.dirname(os.path.realpath(__file__)) |
on_windows = platform.system() == 'Windows' |
JS_FILES = [os.path.join(tools_path, f) for f in JS_FILES] |