user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

make sure './miri many-seeds ./miri run' does not re-invoke the auto-ops

Browse source
This commit is contained in:
Ralf Jung 2023-08-22 10:29:26 +02:00
parent a5ba57e415
commit 6117fa1fef
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/tools/miri/miri-script/src/commands.rs
View file

@ -94,8 +94,8 @@ impl Command {
| Command::Cargo { .. } => Self::auto_actions()?,
| Command::ManySeeds { .. }
| Command::Toolchain { .. }
| Command::RustcPull { .. }
| Command::Bench { .. }
| Command::RustcPull { .. }
| Command::RustcPush { .. } => {}
}
// Then run the actual command.
@ -295,6 +295,7 @@ impl Command {
bail!("expected many-seeds command to be non-empty");
};
let sh = Shell::new()?;
sh.set_var("MIRI_AUTO_OPS", "no"); // just in case we get recursively invoked
for seed in seed_start..seed_end {
println!("Trying seed: {seed}");
let mut miriflags = env::var_os("MIRIFLAGS").unwrap_or_default();