bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Get the miri test suite to run inside the rustc dev environment

Browse source
This commit is contained in:
Oliver Schneider 2017-08-28 16:54:50 +02:00 • committed by Oliver Schneider
parent 1cdd68922d
commit f381744d91
No known key found for this signature in database
GPG key ID: 1D5CB4FC597C3004
12 changed files with 104 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/bootstrap/configure.py
View file

@ -38,6 +38,7 @@ o("debug", "rust.debug", "debug mode; disables optimization unless `--enable-opt
o("docs", "build.docs", "build standard library documentation")
o("compiler-docs", "build.compiler-docs", "build compiler documentation")
o("optimize-tests", "rust.optimize-tests", "build tests with optimizations")
o("test-miri", "rust.test-miri", "run miri's test suite")
o("debuginfo-tests", "rust.debuginfo-tests", "build tests with debugger metadata")
o("quiet-tests", "rust.quiet-tests", "enable quieter output when running tests")
o("ccache", "llvm.ccache", "invoke gcc/clang via ccache to reuse object files between builds")