diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2024-06-06 18:35:46 +0200 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2024-06-06 19:16:53 +0200 |
| commit | 6e1121b492b61ba5aab14004a9ef1227a1358c21 (patch) | |
| tree | f50a517532513482a6eff553396991f12b9ac89c /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 67caf52fbc4f10cdf427f04e6cbb35c8b9d96bb7 (diff) | |
| download | rust-6e1121b492b61ba5aab14004a9ef1227a1358c21.tar.gz rust-6e1121b492b61ba5aab14004a9ef1227a1358c21.zip | |
Do not use relative paths to Rust source root in run-make tests
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions