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 /crates/ra_hir | |
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 'crates/ra_hir')
0 files changed, 0 insertions, 0 deletions