diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-09-20 18:51:54 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-09-20 18:51:54 +0200 |
commit | 24406a351e9d64c2953b0b9fc7ef0b3d79db9b85 (patch) | |
tree | cb6b03eb38df4e8c9a664b70f2d4aab3ad29a0b7 /test | |
parent | adc142066720798ca2e6f7709de6fba93559a336 (diff) | |
download | compcert-kvx-24406a351e9d64c2953b0b9fc7ef0b3d79db9b85.tar.gz compcert-kvx-24406a351e9d64c2953b0b9fc7ef0b3d79db9b85.zip |
fix compiling for aarch64
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions