diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2021-06-01 14:46:13 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2021-06-01 14:46:13 +0200 |
commit | 22504b61be43e5d4a97db621ce3c1785618bbaf0 (patch) | |
tree | 426969777c0110ee2b4229ffb2ebb9d1fa599ef9 /configure | |
parent | 5a632954c85e8b2b5afea124e4fc83f39c5d3598 (diff) | |
download | compcert-kvx-22504b61be43e5d4a97db621ce3c1785618bbaf0.tar.gz compcert-kvx-22504b61be43e5d4a97db621ce3c1785618bbaf0.zip |
Commenting out __builtin_expect from AbsInt
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions