diff options
| author | bjorn3 <17426603+bjorn3@users.noreply.github.com> | 2023-02-15 18:23:11 +0000 |
|---|---|---|
| committer | bjorn3 <17426603+bjorn3@users.noreply.github.com> | 2023-06-13 16:39:59 +0000 |
| commit | d0b8896189f5b2fb472d54ed389681dff97d907b (patch) | |
| tree | efbd6821a4720b63da1d0a23d2f2c6278e2f2a90 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | ce3f300e40146480d3f508e9657c454bf6881b10 (diff) | |
| download | rust-d0b8896189f5b2fb472d54ed389681dff97d907b.tar.gz rust-d0b8896189f5b2fb472d54ed389681dff97d907b.zip | |
Allow building the build system using cargo
Rust's build system only handles cargo, not rustc.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions