aboutsummaryrefslogtreecommitdiff
path: root/gcc/rust/rust-session-manager.cc
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2022-04-11 09:41:23 +0000
committerGitHub <noreply@github.com>2022-04-11 09:41:23 +0000
commit1b8d4521db39ca1c1610eb43ba9f7f9000054b5c (patch)
tree05b5e63cfa35230b4a3e9cf01d095fd55ae35111 /gcc/rust/rust-session-manager.cc
parent2669e80c17f4c9d8b534c73ae0c60a51de0b4659 (diff)
parent46e0068fc0128207ac69bde5cb53d7eeb6943cbb (diff)
downloadgcc-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.cc4
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;
}