diff options
| author | Laurențiu Nicola <lnicola@dend.ro> | 2020-02-17 22:05:48 +0200 |
|---|---|---|
| committer | Laurențiu Nicola <lnicola@dend.ro> | 2020-02-17 22:05:48 +0200 |
| commit | aadab96c9d68938bdb90688af02b675dbbb7742d (patch) | |
| tree | 0ba2b18c8e344d46749f415394258585757e244a /docs/dev | |
| parent | 1b73abd1c3c9185f4a1f62c5e657e07daf3d4774 (diff) | |
| download | rust-aadab96c9d68938bdb90688af02b675dbbb7742d.tar.gz rust-aadab96c9d68938bdb90688af02b675dbbb7742d.zip | |
Fix RA_PROFILE typo in docs
Diffstat (limited to 'docs/dev')
| -rw-r--r-- | docs/dev/README.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/dev/README.md b/docs/dev/README.md index 991deaf902a..c834a3ff886 100644 --- a/docs/dev/README.md +++ b/docs/dev/README.md @@ -157,7 +157,7 @@ There's also two VS Code commands which might be of interest: # Profiling -We have a built-in hierarchical profiler, you can enable it by using `RA_PROF` env-var: +We have a built-in hierarchical profiler, you can enable it by using `RA_PROFILE` env-var: ``` RA_PROFILE=* // dump everything @@ -165,7 +165,7 @@ RA_PROFILE=foo|bar|baz // enabled only selected entries RA_PROFILE=*@3>10 // dump everything, up to depth 3, if it takes more than 10 ms ``` -In particular, I have `export RA_PROFILE='*>10' in my shell profile. +In particular, I have `export RA_PROFILE='*>10'` in my shell profile. To measure time for from-scratch analysis, use something like this: |