| Index: tools/windows-tick-processor.bat
 | 
| diff --git a/tools/windows-tick-processor.bat b/tools/windows-tick-processor.bat
 | 
| index d67f0471feaf2de41f489aee0a6146cb3947ea74..79b440fa6c64b46f8035a7faf8cb26887404fb8b 100755
 | 
| --- a/tools/windows-tick-processor.bat
 | 
| +++ b/tools/windows-tick-processor.bat
 | 
| @@ -27,4 +27,4 @@ IF NOT %arg8:~0,2% == 8 (IF NOT %arg8:~0,2% == 8- SET log_file=%8)
 | 
|  SET arg9=9%9
 | 
|  IF NOT %arg9:~0,2% == 9 (IF NOT %arg9:~0,2% == 9- SET log_file=%9)
 | 
|  
 | 
| -type %log_file% | %D8_PATH%\d8 %tools_dir%splaytree.js %tools_dir%codemap.js %tools_dir%csvparser.js %tools_dir%consarray.js %tools_dir%profile.js %tools_dir%profile_view.js %tools_dir%logreader.js %tools_dir%tickprocessor.js %tools_dir%tickprocessor-driver.js -- --windows %*
 | 
| +type %log_file% | %D8_PATH%\d8 %tools_dir%splaytree.js %tools_dir%codemap.js %tools_dir%csvparser.js %tools_dir%consarray.js %tools_dir%profile.js %tools_dir%profile_view.js %tools_dir%logreader.js %tools_dir%SourceMap.js %tools_dir%tickprocessor.js %tools_dir%tickprocessor-driver.js -- --windows %*
 | 
| 
 |