diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-06 09:41:14 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-01-06 09:41:14 +0000 |
| commit | 010d90202102e4e30ecd670e8500170247ef74a6 (patch) | |
| tree | dff3314d64d7671a37b577b0f059d0cc0ad966f4 /editors | |
| parent | b86ab5257e0760c3d563a70447cea01cb41bbf32 (diff) | |
| parent | bc91120b7c0da775a81139f91cd778258f2bf80c (diff) | |
Merge #2726
2726: Improve profiling output when duration filter is specified r=matklad a=michalt
In particular:
- Use strict inequality for comparisons, since that's what the filter
syntax supports.
- Convert to millis for comparisons, since that's the unit used both
for the filter and when printing.
Now something like `RA_PROFILE='*>0'` will only print things that took
at least 1ms (when rounded to millis).
Signed-off-by: Michal Terepeta <[email protected]>
Co-authored-by: Michal Terepeta <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions