| Index: mojo/devtools/common/mojo_benchmark
|
| diff --git a/mojo/devtools/common/mojo_benchmark b/mojo/devtools/common/mojo_benchmark
|
| index 756b44ba101f5ec830a4a4397c7cb885b971463c..30fb0571d50a2108d5374bd0a9a622c1e9c89820 100755
|
| --- a/mojo/devtools/common/mojo_benchmark
|
| +++ b/mojo/devtools/common/mojo_benchmark
|
| @@ -89,7 +89,7 @@ def _run_benchmark(shell, shell_args, name, app, duration_seconds, measurements,
|
|
|
| # Echo measurement results.
|
| for line in output_lines:
|
| - if line.strip().startswith('measurement:'):
|
| + if line.strip().startswith('measurement:') or 'WARNING' in line:
|
| print line
|
| return True
|
|
|
|
|