diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-12 00:20:16 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-12 00:20:16 +0200 |
commit | 2d1a27eb606fd5effd260d32545e10eaf90cf19c (patch) | |
tree | 46fd1f7512002112c2c466db0d2c11fe5d1fc320 /x86 | |
parent | 7299996cac6c4747b6611b17f0af15fb08c6ee80 (diff) | |
download | compcert-kvx-2d1a27eb606fd5effd260d32545e10eaf90cf19c.tar.gz compcert-kvx-2d1a27eb606fd5effd260d32545e10eaf90cf19c.zip |
otherwise timings disabled on arm (ccomp should call preprocessor with appropriate options)
Diffstat (limited to 'x86')
0 files changed, 0 insertions, 0 deletions