diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-18 14:07:17 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-18 14:07:17 +0100 |
| commit | ac6e6181c48b0e21219c1ea57e30fa8d3c3f1714 (patch) | |
| tree | 56d45b01b39424cfc4b22bb542b37833e9f32916 /test/monniaux/Makefile | |
| parent | a042d603c911ea0ced701d415574342264e0555e (diff) | |
| download | compcert-kvx-ac6e6181c48b0e21219c1ea57e30fa8d3c3f1714.tar.gz compcert-kvx-ac6e6181c48b0e21219c1ea57e30fa8d3c3f1714.zip | |
some unrolling
Diffstat (limited to 'test/monniaux/Makefile')
| -rw-r--r-- | test/monniaux/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/Makefile b/test/monniaux/Makefile index be534653..aa559699 100644 --- a/test/monniaux/Makefile +++ b/test/monniaux/Makefile @@ -1,6 +1,6 @@ CFLAGS=-Wall -O3 K1C_CC=k1-mbr-gcc -K1C_CFLAGS=-Wall -O3 -std=c99 +K1C_CFLAGS=-Wall -O2 -std=c99 K1C_CCOMP=../../ccomp K1C_CCOMPFLAGS=-Wall -O3 -D__thread= -D__int128=int |