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