Auto merge of #579 - emilio:mangling, r=fitzgen

bors-servo · web-flow · commit 16bd8b71fc8d · 2017-03-13T10:24:16.000-07:00
options: Honor distrust-clang-mangling.
diff --git a/src/options.rs b/src/options.rs
@@ -349,6 +349,10 @@ pub fn builder_from_flags<I>
         builder = builder.use_core();
     }
 
+    if matches.is_present("distrust-clang-mangling") {
+        builder = builder.trust_clang_mangling(false);
+    }
+
     if matches.is_present("conservative-inline-namespaces") {
         builder = builder.conservative_inline_namespaces();
     }

Original file line number	Diff line number	Diff line change
`@@ -349,6 +349,10 @@ pub fn builder_from_flags<I>`
`349`	`349`	`builder = builder.use_core();`
`350`	`350`	`}`
`351`	`351`
	`352`	`+ if matches.is_present("distrust-clang-mangling") {`
	`353`	`+ builder = builder.trust_clang_mangling(false);`
	`354`	`+ }`
	`355`	`+`
`352`	`356`	`if matches.is_present("conservative-inline-namespaces") {`
`353`	`357`	`builder = builder.conservative_inline_namespaces();`
`354`	`358`	`}`