diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-31 22:14:54 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-31 22:14:54 +0100 |
commit | 187ee75d29227b290f7df04800ffd91983fffe83 (patch) | |
tree | bc36ce39c74d1d6fc64b3d6d70f89b3131981808 /test/monniaux/quicksort/Makefile | |
parent | d0e215df105a305c5679ddb6d1a9236843637f14 (diff) | |
download | compcert-kvx-187ee75d29227b290f7df04800ffd91983fffe83.tar.gz compcert-kvx-187ee75d29227b290f7df04800ffd91983fffe83.zip |
quicksort experiments
Diffstat (limited to 'test/monniaux/quicksort/Makefile')
-rw-r--r-- | test/monniaux/quicksort/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/quicksort/Makefile b/test/monniaux/quicksort/Makefile index cb9c4761..e6e83210 100644 --- a/test/monniaux/quicksort/Makefile +++ b/test/monniaux/quicksort/Makefile @@ -1,6 +1,6 @@ CFLAGS=-Wall -O3 K1C_CC=k1-mbr-gcc -K1C_CFLAGS=-Wall -O3 -std=c99 +K1C_CFLAGS=-Wall -std=c99 -O2 K1C_CCOMP=../../../ccomp K1C_CCOMPFLAGS=-Wall -O3 |