diff options
| author | liushuyu <liushuyu011@gmail.com> | 2022-04-05 17:41:22 -0600 |
|---|---|---|
| committer | liushuyu <liushuyu011@gmail.com> | 2022-04-05 17:46:19 -0600 |
| commit | 6d42548da9c3b7c3dc46e88c585484314bb55faf (patch) | |
| tree | fa7cc7f34634f6eefab898b21ecb47fe87d2abc0 | |
| parent | 9011184f38a04f81ba3194b826bec3f30a11c07b (diff) | |
| download | gcc-6d42548da9c3b7c3dc46e88c585484314bb55faf.zip gcc-6d42548da9c3b7c3dc46e88c585484314bb55faf.tar.gz gcc-6d42548da9c3b7c3dc46e88c585484314bb55faf.tar.bz2 | |
rust-session-manager: fix an issue where ...
... the -frust-crate= option got incorrectly overridden by a default
value
Signed-off-by: Zixing Liu <liushuyu011@gmail.com>
| -rw-r--r-- | gcc/rust/rust-session-manager.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/rust/rust-session-manager.cc b/gcc/rust/rust-session-manager.cc index 96d94b2..f3010aa 100644 --- a/gcc/rust/rust-session-manager.cc +++ b/gcc/rust/rust-session-manager.cc @@ -311,8 +311,9 @@ Session::init () // setup backend to GCC GIMPLE backend = rust_get_backend (); - // set the default crate name - options.set_crate_name (kDefaultCrateName); + // set the default crate name if crate name was unset + if (options.crate_name.empty ()) + options.set_crate_name (kDefaultCrateName); } /* Initialise default options. Actually called before handle_option, unlike init |