aboutsummaryrefslogtreecommitdiff
path: root/docs/dev/README.md
diff options
context:
space:
mode:
authorLaurenČ›iu Nicola <[email protected]>2020-02-17 20:05:48 +0000
committerLaurenČ›iu Nicola <[email protected]>2020-02-17 20:05:48 +0000
commitaadab96c9d68938bdb90688af02b675dbbb7742d (patch)
tree0ba2b18c8e344d46749f415394258585757e244a /docs/dev/README.md
parent1b73abd1c3c9185f4a1f62c5e657e07daf3d4774 (diff)
Fix RA_PROFILE typo in docs
Diffstat (limited to 'docs/dev/README.md')
-rw-r--r--docs/dev/README.md4
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
160We have a built-in hierarchical profiler, you can enable it by using `RA_PROF` env-var: 160We have a built-in hierarchical profiler, you can enable it by using `RA_PROFILE` env-var:
161 161
162``` 162```
163RA_PROFILE=* // dump everything 163RA_PROFILE=* // dump everything
@@ -165,7 +165,7 @@ RA_PROFILE=foo|bar|baz // enabled only selected entries
165RA_PROFILE=*@3>10 // dump everything, up to depth 3, if it takes more than 10 ms 165RA_PROFILE=*@3>10 // dump everything, up to depth 3, if it takes more than 10 ms
166``` 166```
167 167
168In particular, I have `export RA_PROFILE='*>10' in my shell profile. 168In particular, I have `export RA_PROFILE='*>10'` in my shell profile.
169 169
170To measure time for from-scratch analysis, use something like this: 170To measure time for from-scratch analysis, use something like this:
171 171