From aadab96c9d68938bdb90688af02b675dbbb7742d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lauren=C8=9Biu=20Nicola?= Date: Mon, 17 Feb 2020 22:05:48 +0200 Subject: Fix RA_PROFILE typo in docs --- docs/dev/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/dev') 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: # 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: -- cgit v1.2.3