diff options
| author | Michal Terepeta <michal.terepeta@gmail.com> | 2020-01-02 17:21:40 +0100 |
|---|---|---|
| committer | Michal Terepeta <michal.terepeta@gmail.com> | 2020-01-02 17:26:02 +0100 |
| commit | bc91120b7c0da775a81139f91cd778258f2bf80c (patch) | |
| tree | 487a4ff5f0ab228c44245b3ee6626b25d6f8d4d9 /editors/code/src | |
| parent | 4516c4c1447942a8f01b59a71dcf5abfa2c5e37a (diff) | |
| download | rust-bc91120b7c0da775a81139f91cd778258f2bf80c.tar.gz rust-bc91120b7c0da775a81139f91cd778258f2bf80c.zip | |
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 <michal.terepeta@gmail.com>
Diffstat (limited to 'editors/code/src')
0 files changed, 0 insertions, 0 deletions