diff --git a/miri b/miri index bc8bd59e5dd5..99ae7c5811ee 100755 --- a/miri +++ b/miri @@ -4,7 +4,8 @@ TARGET=$(rustc --print target-spec-json -Z unstable-options | jq '.["llvm-target SYSROOT=$(rustc --print sysroot) # We set the rpath so that Miri finds the private rustc libraries it needs. # We enable debug-assertions to get tracing. -export RUSTFLAGS="-C link-args=-Wl,-rpath,$SYSROOT/lib/rustlib/$TARGET/lib -C debug-assertions" +# We enable line-only debuginfo for backtraces. +export RUSTFLAGS="-C link-args=-Wl,-rpath,$SYSROOT/lib/rustlib/$TARGET/lib -C debug-assertions -C debuginfo=1" COMMAND="$1" shift