diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-29 19:29:34 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-29 19:29:34 +0100 |
commit | a7def1212eff65221d2528a27e567235420d7f15 (patch) | |
tree | b191ed1f9fbe541d6b4eae10f58135b2676e3974 /test | |
parent | 4c35899ac3f057d66784e658be5d21582b2d7e9c (diff) | |
parent | c0558ea2fd66679eeca136b41c4378ebebb9b3a0 (diff) | |
download | compcert-kvx-a7def1212eff65221d2528a27e567235420d7f15.tar.gz compcert-kvx-a7def1212eff65221d2528a27e567235420d7f15.zip |
Merge remote-tracking branch 'origin/mppa_k1c' into mppa-mul
Diffstat (limited to 'test')
-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 |