| 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]
|
|
|