Skip to content

Commit

Permalink
flags
Browse files Browse the repository at this point in the history
  • Loading branch information
matthiaskrgr committed Apr 8, 2024
1 parent 08d72d3 commit b41762f
Showing 1 changed file with 12 additions and 12 deletions.
24 changes: 12 additions & 12 deletions src/flags.rs
Original file line number Diff line number Diff line change
Expand Up @@ -72,11 +72,11 @@ static DEFAULT_RUSTFLAGS: &[&[&str]] = &[
],
// basic stuff, edition 2015
&[
"-Zmir-opt-level=5",
"-Zmir-opt-level=3",
"-Zmir-opt-level=2",
"-Zmir-opt-level=1",
"-Zmir-opt-level=0",
"-Zmir-opt-level=1",
"-Zmir-opt-level=2",
"-Zmir-opt-level=3",
"-Zmir-opt-level=5",
"-Zunsound-mir-opts",
"-Zcrate-attr=feature(abi_vectorcall)",
"-Zcrate-attr=feature(anonymous_lifetime_in_impl_trait)",
Expand Down Expand Up @@ -263,11 +263,11 @@ static DEFAULT_RUSTFLAGS: &[&[&str]] = &[
],
// basic stuff, edition 2018
&[
"-Zmir-opt-level=5",
"-Zmir-opt-level=3",
"-Zmir-opt-level=2",
"-Zmir-opt-level=1",
"-Zmir-opt-level=0",
"-Zmir-opt-level=1",
"-Zmir-opt-level=2",
"-Zmir-opt-level=3",
"-Zmir-opt-level=5",
"-Zunsound-mir-opts",
"-Zcrate-attr=feature(abi_vectorcall)",
"-Zcrate-attr=feature(anonymous_lifetime_in_impl_trait)",
Expand Down Expand Up @@ -454,11 +454,11 @@ static DEFAULT_RUSTFLAGS: &[&[&str]] = &[
],
// basic stuff, edition 2021
&[
"-Zmir-opt-level=5",
"-Zmir-opt-level=3",
"-Zmir-opt-level=2",
"-Zmir-opt-level=1",
"-Zmir-opt-level=0",
"-Zmir-opt-level=1",
"-Zmir-opt-level=2",
"-Zmir-opt-level=3",
"-Zmir-opt-level=5",
"-Zunsound-mir-opts",
"-Zcrate-attr=feature(abi_vectorcall)",
"-Zcrate-attr=feature(anonymous_lifetime_in_impl_trait)",
Expand Down

0 comments on commit b41762f

Please sign in to comment.