From eb85ced8c730ad6a0f0518dfd7db3166a18e8108 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 27 May 2019 13:08:47 +0200
Subject: [PATCH] improve backtraces

---
 miri | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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