From 6e35c1a7dc92ee0adaaf6d5a37cda917c690db3a Mon Sep 17 00:00:00 2001
From: Bretton <qsctr@users.noreply.github.com>
Date: Wed, 6 Dec 2023 21:03:16 -0600
Subject: [PATCH] crux-mir translate_libs.sh: Document dlmalloc more

---
 crux-mir/translate_libs.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/crux-mir/translate_libs.sh b/crux-mir/translate_libs.sh
index 4b00c789a..dbdf2baa5 100755
--- a/crux-mir/translate_libs.sh
+++ b/crux-mir/translate_libs.sh
@@ -97,7 +97,8 @@ echo 'Building addr2line...'
 translate lib/addr2line/src/lib.rs  --crate-name addr2line --cfg 'feature="alloc"' --cfg 'feature="compiler_builtins"' --cfg 'feature="core"' --cfg 'feature="rustc-dep-of-std"' --extern "compiler_builtins=${RLIBS}/libcompiler_builtins.rlib" --extern "gimli=${RLIBS}/libgimli.rlib" --extern "alloc=${RLIBS}/liballoc.rlib" --extern "core=${RLIBS}/libcore.rlib"
 
 # For wasm32 targets which are not emscripten, std depends on dlmalloc because
-# the runtime does not provide an allocator. See lib/std/Cargo.toml.
+# the runtime does not provide an allocator. See lib/std/Cargo.toml and
+# lib/std/src/sys/wasm/alloc.rs
 if [ "$TARGET_ARCH" = "wasm32" ] && [ "$TARGET_OS" != "emscripten" ]; then
   USE_DLMALLOC=yes
   echo 'Building dlmalloc...'