diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-28 10:29:42 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-28 10:29:42 +0200 |
commit | 3a4e2750897b640d9e6be7a56091872525b5c375 (patch) | |
tree | 00975ae630c1be6c8ebf36d563e39f38cd508d81 /Makefile.extr | |
parent | e60a7329f97564ae7eec53c219904b174ba0ef29 (diff) | |
download | compcert-kvx-3a4e2750897b640d9e6be7a56091872525b5c375.tar.gz compcert-kvx-3a4e2750897b640d9e6be7a56091872525b5c375.zip |
do not use all-loads-nontrap
Diffstat (limited to 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions