diff options
| author | bors <bors@rust-lang.org> | 2022-09-27 01:13:09 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-09-27 01:13:09 +0000 |
| commit | 20adc7530486e885f4fef33a863cee1b216d6fb1 (patch) | |
| tree | f104529bb508b4865bef056a60b0ac445f16d7b2 /compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp | |
| parent | e8683f50fb11779bd5d748255f0994627fbe5a71 (diff) | |
| parent | 9ce9dae57f0fd0874b179857ab151fa768f759a4 (diff) | |
| download | rust-20adc7530486e885f4fef33a863cee1b216d6fb1.tar.gz rust-20adc7530486e885f4fef33a863cee1b216d6fb1.zip | |
Auto merge of #2562 - pvdrz:miri-num-cpus, r=RalfJung
Add flag to specify the number of cpus Apparently you can't rename a branch from github's website without it closing all your PRs with that branch. So this is just #2545
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions