| Index: tools/tickprocessor-driver.js
|
| diff --git a/tools/tickprocessor-driver.js b/tools/tickprocessor-driver.js
|
| index 3f2321fed19d639f3f943140574b04d8bda4e885..b64f7cdba1440d73ab1092b7d3670d8cd4ef2617 100644
|
| --- a/tools/tickprocessor-driver.js
|
| +++ b/tools/tickprocessor-driver.js
|
| @@ -74,4 +74,8 @@ var tickProcessor = new TickProcessor(
|
| params.pairwiseTimedRange,
|
| params.onlySummary);
|
| tickProcessor.processLogFile(params.logFileName);
|
| -tickProcessor.printStatistics();
|
| +if (params.dumpCppEntries) {
|
| + tickProcessor.dumpCppEntries();
|
| +} else {
|
| + tickProcessor.printStatistics();
|
| +}
|
|
|