aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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