From 9ee34b7fdc4c462218c6e0a634fe8be77b0896bd Mon Sep 17 00:00:00 2001
From: Hanno Braun <mail@hannobraun.de>
Date: Mon, 7 Apr 2014 15:14:54 +0000
Subject: [PATCH] Compile Rust without debug info

This is a workaround for this bug:
https://github.com/mozilla/rust/issues/13213
---
 scripts/tools/compile-rust | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/tools/compile-rust b/scripts/tools/compile-rust
index a77e7b47..b0d48b48 100755
--- a/scripts/tools/compile-rust
+++ b/scripts/tools/compile-rust
@@ -11,4 +11,4 @@ LIB_ARGS=$2
 OUTPUT_ARGS=$3
 SOURCE_FILE=$4
 
-$RUSTC --debuginfo 2 $LIB_ARGS $OUTPUT_ARGS $SOURCE_FILE
+$RUSTC $LIB_ARGS $OUTPUT_ARGS $SOURCE_FILE