diff options
| author | Laurențiu Nicola <[email protected]> | 2020-02-17 20:05:48 +0000 |
|---|---|---|
| committer | Laurențiu Nicola <[email protected]> | 2020-02-17 20:05:48 +0000 |
| commit | aadab96c9d68938bdb90688af02b675dbbb7742d (patch) | |
| tree | 0ba2b18c8e344d46749f415394258585757e244a /docs/dev | |
| parent | 1b73abd1c3c9185f4a1f62c5e657e07daf3d4774 (diff) | |
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 991deaf90..c834a3ff8 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: | |||
| 157 | 157 | ||
| 158 | # Profiling | 158 | # Profiling |
| 159 | 159 | ||
| 160 | We have a built-in hierarchical profiler, you can enable it by using `RA_PROF` env-var: | 160 | We have a built-in hierarchical profiler, you can enable it by using `RA_PROFILE` env-var: |
| 161 | 161 | ||
| 162 | ``` | 162 | ``` |
| 163 | RA_PROFILE=* // dump everything | 163 | RA_PROFILE=* // dump everything |
| @@ -165,7 +165,7 @@ RA_PROFILE=foo|bar|baz // enabled only selected entries | |||
| 165 | RA_PROFILE=*@3>10 // dump everything, up to depth 3, if it takes more than 10 ms | 165 | RA_PROFILE=*@3>10 // dump everything, up to depth 3, if it takes more than 10 ms |
| 166 | ``` | 166 | ``` |
| 167 | 167 | ||
| 168 | In particular, I have `export RA_PROFILE='*>10' in my shell profile. | 168 | In particular, I have `export RA_PROFILE='*>10'` in my shell profile. |
| 169 | 169 | ||
| 170 | To measure time for from-scratch analysis, use something like this: | 170 | To measure time for from-scratch analysis, use something like this: |
| 171 | 171 | ||