diff options
| author | Ilya Arzhannikov <iarzhannikov@artec-group.com> | 2021-04-07 22:00:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-07 13:00:12 -0700 |
| commit | f716880bf61c731d85040e09190ee3a7e55185e4 (patch) | |
| tree | ac2f0f1fba1bb2e578c27787ac6b24868cba8ec0 /scripts/file_script.py | |
| parent | 580200d11308af9c06b7ff11b96a222bc7cb3dd3 (diff) | |
| download | vcpkg-f716880bf61c731d85040e09190ee3a7e55185e4.tar.gz vcpkg-f716880bf61c731d85040e09190ee3a7e55185e4.zip | |
Openmpi keep -isystem flags in configure scripts (#17026)
* patch for keep -isystem flags
* x-add-version openmpi
Co-authored-by: Ilya Arzhannikov <iarzhannikov@artec3d.com>
Diffstat (limited to 'scripts/file_script.py')
0 files changed, 0 insertions, 0 deletions