diff options
Diffstat (limited to 'gcc/rust/rust-session-manager.cc')
| -rw-r--r-- | gcc/rust/rust-session-manager.cc | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/gcc/rust/rust-session-manager.cc b/gcc/rust/rust-session-manager.cc index 860abab..c7bbe89 100644 --- a/gcc/rust/rust-session-manager.cc +++ b/gcc/rust/rust-session-manager.cc @@ -1090,10 +1090,12 @@ TargetOptions::dump_target_options () const for (const auto &pairs : features) { for (const auto &value : pairs.second) - out << pairs.first + ": \"" + value + "\"\n"; - - if (pairs.second.empty ()) - out << pairs.first + "\n"; + { + if (value.is_some ()) + out << pairs.first + ": \"" + value.get () + "\"\n"; + else + out << pairs.first + "\n"; + } } out.close (); |