Index: tools/windows-tick-processor.bat |
diff --git a/tools/windows-tick-processor.bat b/tools/windows-tick-processor.bat |
new file mode 100755 |
index 0000000000000000000000000000000000000000..f228093c1ed38683fbb52f1a7f8f1c81740c3ab6 |
--- /dev/null |
+++ b/tools/windows-tick-processor.bat |
@@ -0,0 +1,5 @@ |
+@echo off |
+ |
+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%profileview.js %tools_dir%tickprocessor.js -- --windows %* |