diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-04-11 09:41:23 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-11 09:41:23 +0000 |
commit | 1b8d4521db39ca1c1610eb43ba9f7f9000054b5c (patch) | |
tree | 05b5e63cfa35230b4a3e9cf01d095fd55ae35111 /gcc/rust/rust-session-manager.cc | |
parent | 2669e80c17f4c9d8b534c73ae0c60a51de0b4659 (diff) | |
parent | 46e0068fc0128207ac69bde5cb53d7eeb6943cbb (diff) | |
download | gcc-1b8d4521db39ca1c1610eb43ba9f7f9000054b5c.zip gcc-1b8d4521db39ca1c1610eb43ba9f7f9000054b5c.tar.gz gcc-1b8d4521db39ca1c1610eb43ba9f7f9000054b5c.tar.bz2 |
Merge #1091
1091: Add -frust-edition flag and possible values r=CohenArthur a=CohenArthur
Closes #1072
Co-authored-by: Arthur Cohen <arthur.cohen@embecosm.com>
Diffstat (limited to 'gcc/rust/rust-session-manager.cc')
-rw-r--r-- | gcc/rust/rust-session-manager.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/rust/rust-session-manager.cc b/gcc/rust/rust-session-manager.cc index f3010aa..6b1d030 100644 --- a/gcc/rust/rust-session-manager.cc +++ b/gcc/rust/rust-session-manager.cc @@ -373,6 +373,10 @@ Session::handle_option ( break; } + case OPT_frust_edition_: + options.set_edition (flag_rust_edition); + break; + default: break; } |