From 9706b4c3696ccf719f890432f1e8a078cc99e72f Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Mon, 26 Feb 2018 22:46:56 +0100
Subject: [PATCH] thin lto = no

---
 .cargo/config | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.cargo/config b/.cargo/config
index 901b89a..f84ab01 100644
--- a/.cargo/config
+++ b/.cargo/config
@@ -28,6 +28,7 @@ rustflags = [
   "-C", "link-arg=-Tlink.x",
   "-C", "linker=arm-none-eabi-ld",
   "-Z", "linker-flavor=ld",
+  "-Z", "thinlto=no",
 ]
 
 # used when building for klee
@@ -35,7 +36,8 @@ rustflags = [
 [target.x86_64-unknown-linux-gnu]
 rustflags = [
   "--emit=llvm-bc,llvm-ir",
-  "-C", "linker=true"
+  "-C", "linker=true",
+  "-Z", "thinlto=no",
 ]
 
 # default build target (for m3)
-- 
GitLab