| Index: tools/tickprocessor-driver.js
|
| diff --git a/tools/tickprocessor-driver.js b/tools/tickprocessor-driver.js
|
| index 946f543219b638ccbe5caf6d85b2b00c99ec2c95..d4f566b609f2959d13c1cfed4ffdac0938623776 100644
|
| --- a/tools/tickprocessor-driver.js
|
| +++ b/tools/tickprocessor-driver.js
|
| @@ -77,6 +77,7 @@ var tickProcessor = new TickProcessor(
|
| params.range,
|
| sourceMap,
|
| params.timedRange,
|
| - params.pairwiseTimedRange);
|
| + params.pairwiseTimedRange,
|
| + params.printSummary);
|
| tickProcessor.processLogFile(params.logFileName);
|
| tickProcessor.printStatistics();
|
|
|