diff options
| author | Michal Terepeta <[email protected]> | 2020-01-02 16:21:40 +0000 |
|---|---|---|
| committer | Michal Terepeta <[email protected]> | 2020-01-02 16:26:02 +0000 |
| commit | bc91120b7c0da775a81139f91cd778258f2bf80c (patch) | |
| tree | 487a4ff5f0ab228c44245b3ee6626b25d6f8d4d9 /crates/ra_hir_ty/src/lib.rs | |
| parent | 4516c4c1447942a8f01b59a71dcf5abfa2c5e37a (diff) | |
Improve profiling output when duration filter is specified
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]>
Diffstat (limited to 'crates/ra_hir_ty/src/lib.rs')
0 files changed, 0 insertions, 0 deletions