diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-08 15:26:11 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-08 15:26:11 +0200 |
| commit | 5b1071d9f46bbb6083b1e6dd6f7975aaa64d0a9a (patch) | |
| tree | 0b90f6b54dafd14226014aa95b6c1faa3d30ec86 /test/monniaux | |
| parent | dabd1115994ee33dd589d1930053b13dff15ac77 (diff) | |
| download | compcert-kvx-5b1071d9f46bbb6083b1e6dd6f7975aaa64d0a9a.tar.gz compcert-kvx-5b1071d9f46bbb6083b1e6dd6f7975aaa64d0a9a.zip | |
making progress on prepass
Diffstat (limited to 'test/monniaux')
| -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 c0594ef9..95d57f80 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) +ALL_CCOMPFLAGS+=$(ALL_CFLAGS) -fprepass # The compilers KVX_CC?=kvx-cos-gcc |