nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-24 15:54:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

mir-opt-level 4 is the new 3

Browse Source
This commit is contained in:
Oli Scherer 2021-03-09 14:50:38 +01:00 committed by GitHub
parent 413e341eb4
commit 38da1fab78
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ci.sh
View File

@ -24,7 +24,7 @@ function run_tests {
if [ -z "${MIRI_TEST_TARGET+exists}" ]; then
# Only for host architecture: tests with optimizations (`-O` is what cargo passes, but crank MIR
# optimizations up all the way).
MIRIFLAGS="-O -Zmir-opt-level=3" ./miri test --locked
MIRIFLAGS="-O -Zmir-opt-level=4" ./miri test --locked
fi
# On Windows, there is always "python", not "python3" or "python2".