From 41acd4400adb8ecb8995161c82fa71c8a00f67a1 Mon Sep 17 00:00:00 2001 From: Santiago Pastorino Date: Mon, 16 Mar 2020 18:53:03 -0300 Subject: [PATCH] use-jemalloc -> jemalloc --- src/profiling/with_perf.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/profiling/with_perf.md b/src/profiling/with_perf.md index cca2d06d..d22a3cf4 100644 --- a/src/profiling/with_perf.md +++ b/src/profiling/with_perf.md @@ -8,7 +8,7 @@ This is a guide for how to profile rustc with [perf](https://perf.wiki.kernel.or to profile. - Set the following settings in your `config.toml`: - `debuginfo-level = 1` - enables line debuginfo - - `use-jemalloc = false` - lets you do memory use profiling with valgrind + - `jemalloc = false` - lets you do memory use profiling with valgrind - leave everything else the defaults - Run `./x.py build` to get a full build - Make a rustup toolchain pointing to that result