diff options
author | Emilio Cobos Álvarez <emilio@crisal.io> | 2017-03-12 20:56:41 +0100 |
---|---|---|
committer | Emilio Cobos Álvarez <emilio@crisal.io> | 2017-03-12 20:57:07 +0100 |
commit | e0936c44dfd1f14a9ab9eb3ef94345773be31443 (patch) | |
tree | 4a86a83c25b5a98bf049f742d1fd8a3a39dd831d | |
parent | 1320efeb79d373acb8dd92fb2722732c251497d8 (diff) |
options: Honor distrust-clang-mangling.
-rw-r--r-- | src/options.rs | 4 |
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(); } |