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 /test/monniaux/yarpgen | |
parent | e60a7329f97564ae7eec53c219904b174ba0ef29 (diff) | |
download | compcert-kvx-3a4e2750897b640d9e6be7a56091872525b5c375.tar.gz compcert-kvx-3a4e2750897b640d9e6be7a56091872525b5c375.zip |
do not use all-loads-nontrap
Diffstat (limited to 'test/monniaux/yarpgen')
-rw-r--r-- | test/monniaux/yarpgen/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/yarpgen/Makefile b/test/monniaux/yarpgen/Makefile index 861a59d0..a72ca791 100644 --- a/test/monniaux/yarpgen/Makefile +++ b/test/monniaux/yarpgen/Makefile @@ -20,7 +20,7 @@ MAX=19 # AUXR bug should be 129 PREFIX=ran%06.f CCOMPOPTS=-static -CCOMPFLAGS+= -fduplicate 2 -fall-loads-nontrap -funprototyped -fbitfields -fno-cse2 -stdlib ../../../runtime # FIXME +CCOMPFLAGS+= -funprototyped -fbitfields -fno-cse2 -stdlib ../../../runtime TESTS_C=$(shell seq --format $(PREFIX)/func.c 1 $(MAX)) \ $(shell seq --format $(PREFIX)/driver.c 1 $(MAX)) \ |