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 /test/compression | |
parent | 48bc183167c4ce01a5c9ea86e49d60530adf7290 (diff) | |
download | compcert-868da35cd23d47e8c027967148518497f921f829.tar.gz compcert-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 'test/compression')
0 files changed, 0 insertions, 0 deletions