diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-04-27 11:22:05 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-04-27 11:22:05 +0200 |
| commit | 868da35cd23d47e8c027967148518497f921f829 (patch) | |
| tree | 7b10ea78d957a75071852ce9f4cc6793e253b4ff /backend | |
| parent | 48bc183167c4ce01a5c9ea86e49d60530adf7290 (diff) | |
| download | compcert-kvx-868da35cd23d47e8c027967148518497f921f829.tar.gz compcert-kvx-868da35cd23d47e8c027967148518497f921f829.zip | |
MacOS: add a #define __DARWIN_OS_INLINE
Seems necessary for the standard headers of a recent version of XCode.
The actual definition in the standard headers is only for GNUC.
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions