diff options
| author | bjorn3 <17426603+bjorn3@users.noreply.github.com> | 2024-10-04 11:24:18 +0200 |
|---|---|---|
| committer | bjorn3 <17426603+bjorn3@users.noreply.github.com> | 2024-10-04 12:25:48 +0200 |
| commit | 68034f837a39387e49fc7d7c5b088f5372a1127e (patch) | |
| tree | 0e3ec5d7475c034650c390196e64d399e5778669 /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | 6414d9f52dd8c9e31ce0c923a4327583b794bb43 (diff) | |
| download | rust-68034f837a39387e49fc7d7c5b088f5372a1127e.tar.gz rust-68034f837a39387e49fc7d7c5b088f5372a1127e.zip | |
Disable -Zdual-proc-macros if the target doesn't support proc-macros
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions