diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-06-05 17:15:21 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-06-05 17:18:07 +0200 |
commit | caaaffd31f63f1239a2371f418ff448651752ff8 (patch) | |
tree | 5e9931bcbdea9e1cae21748bc73fa8ccfbfb09ac /README.md | |
parent | 8f750f2d4d68192d92b6363490e8a8e577f55584 (diff) | |
download | compcert-caaaffd31f63f1239a2371f418ff448651752ff8.tar.gz compcert-caaaffd31f63f1239a2371f418ff448651752ff8.zip |
Improve portability of the test for annotations inclightgen
__builtin_ais_annot is not supported for macOS nor for Cygwin.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions