Skip to content

Commit 85c557f

Browse files
committed
Don't build dependencies on no-std for now
1 parent 28c6bff commit 85c557f

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

tests/compiletest.rs

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -50,6 +50,8 @@ fn run_tests(mode: Mode, path: &str, target: Option<String>) -> Result<()> {
5050
// Pass on all arguments as filters.
5151
let path_filter = std::env::args().skip(1);
5252

53+
let use_std = env::var_os("MIRI_NO_STD").is_none();
54+
5355
let config = Config {
5456
args: flags,
5557
target,
@@ -60,7 +62,7 @@ fn run_tests(mode: Mode, path: &str, target: Option<String>) -> Result<()> {
6062
path_filter: path_filter.collect(),
6163
program: miri_path(),
6264
output_conflict_handling,
63-
manifest_path: Some(std::env::current_dir()?.join("test_dependencies").join("Cargo.toml")),
65+
manifest_path: use_std.then(|| std::env::current_dir().unwrap().join("test_dependencies").join("Cargo.toml")),
6466
dependency_builder: Some(DependencyBuilder {
6567
program: PathBuf::from("bash"),
6668
args: vec![

0 commit comments

Comments
 (0)