diff options
| author | Josh Stone <jistone@redhat.com> | 2023-07-26 16:00:05 -0700 |
|---|---|---|
| committer | Josh Stone <jistone@redhat.com> | 2023-07-26 16:00:05 -0700 |
| commit | 3cd3a91dbc50c71a3d51a32ac35a10869847c035 (patch) | |
| tree | 5a3c2717289bd151d2e11801e2f85139f3ef665b /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 3585562be676b1159e7922ffa4d39ec42d5c0b05 (diff) | |
| download | rust-3cd3a91dbc50c71a3d51a32ac35a10869847c035.tar.gz rust-3cd3a91dbc50c71a3d51a32ac35a10869847c035.zip | |
ci: use `armv7-a+fp` for `armv7-unknown-linux_musleabihf`
This is consistent with what we had from `arm-linux-gnueabihf-gcc` in the `ubuntu:20.04` base.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions