| Index: tools/windows-tick-processor.bat
|
| diff --git a/tools/windows-tick-processor.bat b/tools/windows-tick-processor.bat
|
| index 6743f68b3f8e126180f34bdb186a96d465cf4062..33b1f77052ae2e2060c300dfde781b530f1ef4dd 100755
|
| --- a/tools/windows-tick-processor.bat
|
| +++ b/tools/windows-tick-processor.bat
|
| @@ -2,4 +2,28 @@
|
|
|
| SET tools_dir=%~dp0
|
|
|
| -%tools_dir%..\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 %*
|
| +SET log_file=v8.log
|
| +
|
| +rem find the name of the log file to process, it must not start with a dash.
|
| +rem we prepend cmdline args with a number (in fact, any letter or number)
|
| +rem to cope with empty arguments.
|
| +SET arg1=1%1
|
| +IF NOT %arg1:~0,2% == 1 (IF NOT %arg1:~0,2% == 1- SET log_file=%1)
|
| +SET arg2=2%2
|
| +IF NOT %arg2:~0,2% == 2 (IF NOT %arg2:~0,2% == 2- SET log_file=%2)
|
| +SET arg3=3%3
|
| +IF NOT %arg3:~0,2% == 3 (IF NOT %arg3:~0,2% == 3- SET log_file=%3)
|
| +SET arg4=4%4
|
| +IF NOT %arg4:~0,2% == 4 (IF NOT %arg4:~0,2% == 4- SET log_file=%4)
|
| +SET arg5=5%5
|
| +IF NOT %arg5:~0,2% == 5 (IF NOT %arg5:~0,2% == 5- SET log_file=%5)
|
| +SET arg6=6%6
|
| +IF NOT %arg6:~0,2% == 6 (IF NOT %arg6:~0,2% == 6- SET log_file=%6)
|
| +SET arg7=7%7
|
| +IF NOT %arg7:~0,2% == 7 (IF NOT %arg7:~0,2% == 7- SET log_file=%7)
|
| +SET arg8=8%8
|
| +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% | %tools_dir%..\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 %*
|
|
|