diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-06-17 15:13:30 +0200 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-06-17 15:13:30 +0200 |
| commit | e19ec445e81a4ce363ad0e9d225c2b02ecf9ec91 (patch) | |
| tree | 003443de15091c2fa9cce276706ab945cb47db16 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 55d436467c351b56253deeba209ae2553d1c243f (diff) | |
| download | rust-e19ec445e81a4ce363ad0e9d225c2b02ecf9ec91.tar.gz rust-e19ec445e81a4ce363ad0e9d225c2b02ecf9ec91.zip | |
Actually take `--build` into account in bootstrap
I went back 20 *stable* versions of Rust and I couldn't find this flag actually being used. Despite some of our CI workflows actually set this flag (!).
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions