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 /.cargo/config | |
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 '.cargo/config')
0 files changed, 0 insertions, 0 deletions