diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 19:35:28 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 19:35:28 +0100 |
| commit | ebab676bc779c533d408e65b3f8a42b77cb17f9e (patch) | |
| tree | f9eeed53c5d3f949c8a9c9659d32419d4f283741 /config_ppc64.sh | |
| parent | f939375d5074fc9af004a4c3a3f51a7cb2b26caf (diff) | |
| download | compcert-kvx-ebab676bc779c533d408e65b3f8a42b77cb17f9e.tar.gz compcert-kvx-ebab676bc779c533d408e65b3f8a42b77cb17f9e.zip | |
temporarily disable raytracer test on ARM
https://github.com/AbsInt/CompCert/issues/342
Diffstat (limited to 'config_ppc64.sh')
0 files changed, 0 insertions, 0 deletions