diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-15 20:27:38 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-15 20:27:38 +0200 |
commit | 509015c29fe083b1e85b326b3dfa71d82636c9e2 (patch) | |
tree | ebbcb701ae3df5bc0cb924ddfdaccdf5f7fb17c1 /test | |
parent | 8cdafe0117cd13b347db4ee3910c2a61a454bc73 (diff) | |
download | compcert-kvx-509015c29fe083b1e85b326b3dfa71d82636c9e2.tar.gz compcert-kvx-509015c29fe083b1e85b326b3dfa71d82636c9e2.zip |
flags
Diffstat (limited to 'test')
-rw-r--r-- | test/monniaux/rules.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/rules.mk b/test/monniaux/rules.mk index 63582f96..a5754574 100644 --- a/test/monniaux/rules.mk +++ b/test/monniaux/rules.mk @@ -21,7 +21,7 @@ MEASURES?=time ALL_CFLAGS+=-Wall -D__KVX_COS__ -DMAX_MEASURES=$(MAX_MEASURES) #ALL_CFLAGS+=-g ALL_GCCFLAGS+=$(ALL_CFLAGS) -std=c99 -Wextra -Werror=implicit -ALL_CCOMPFLAGS+=$(ALL_CFLAGS) -fduplicate 2 -fprepass -fall-loads-nontrap +ALL_CCOMPFLAGS+=$(ALL_CFLAGS) -fduplicate 2 -fprepass -fprepass= list -fall-loads-nontrap # The compilers KVX_CC?=kvx-cos-gcc |