diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-08-16 09:49:18 +0200 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-08-16 09:49:18 +0200 |
| commit | ddf39cabf23f44b420b2848c0b7c382860d2cc96 (patch) | |
| tree | a118531e96be0a12ae2bc622e516e529b165b3ea /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 1ae7c4907275f10b3db9e886bc8809ec063e45ee (diff) | |
| download | rust-ddf39cabf23f44b420b2848c0b7c382860d2cc96.tar.gz rust-ddf39cabf23f44b420b2848c0b7c382860d2cc96.zip | |
Avoid copying rustc rmeta artifacts into the build compiler sysroot
This helps to avoid polluting the sysroot of the build compiler.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions