diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-29 18:30:07 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-29 18:30:07 +0100 |
commit | c0558ea2fd66679eeca136b41c4378ebebb9b3a0 (patch) | |
tree | 431a83c802add339dd55efa1c2c491cdfefaa60e | |
parent | f72f1e1bdee98a2fecffd2d0a4beb5e70b650ab0 (diff) | |
download | compcert-kvx-c0558ea2fd66679eeca136b41c4378ebebb9b3a0.tar.gz compcert-kvx-c0558ea2fd66679eeca136b41c4378ebebb9b3a0.zip |
use C99 mode
-rw-r--r-- | test/monniaux/mod_int_mat/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/mod_int_mat/Makefile b/test/monniaux/mod_int_mat/Makefile index f904c1e4..d1365b34 100644 --- a/test/monniaux/mod_int_mat/Makefile +++ b/test/monniaux/mod_int_mat/Makefile @@ -1,4 +1,4 @@ -CFLAGS=-Wall -O3 +CFLAGS=-Wall -O3 -std=c99 K1C_CC=k1-mbr-gcc K1C_CFLAGS=-Wall -O3 -std=c99 K1C_CCOMP=../../../ccomp |