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 /configure | |
| parent | 8f750f2d4d68192d92b6363490e8a8e577f55584 (diff) | |
| download | compcert-kvx-caaaffd31f63f1239a2371f418ff448651752ff8.tar.gz compcert-kvx-caaaffd31f63f1239a2371f418ff448651752ff8.zip | |
Improve portability of the test for annotations inclightgen
__builtin_ais_annot is not supported for macOS nor for Cygwin.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions