summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEmilio Cobos Álvarez <emilio@crisal.io>2017-03-12 20:56:41 +0100
committerEmilio Cobos Álvarez <emilio@crisal.io>2017-03-12 20:57:07 +0100
commite0936c44dfd1f14a9ab9eb3ef94345773be31443 (patch)
tree4a86a83c25b5a98bf049f742d1fd8a3a39dd831d
parent1320efeb79d373acb8dd92fb2722732c251497d8 (diff)
options: Honor distrust-clang-mangling.
-rw-r--r--src/options.rs4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/options.rs b/src/options.rs
index 78a0e30b..15146b39 100644
--- 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();
}