diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-28 15:13:46 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-28 15:13:46 +0200 |
commit | a789b94e986375a713263d7d7584ceaac01084f2 (patch) | |
tree | 1e5dd0be120defa60882c844ea43aa0fb40b3db7 /test/monniaux/mod_int_mat | |
parent | 11aa243fe776dc99001004a74b8ed0fc42c12fc9 (diff) | |
download | compcert-kvx-a789b94e986375a713263d7d7584ceaac01084f2.tar.gz compcert-kvx-a789b94e986375a713263d7d7584ceaac01084f2.zip |
adaptation pour k1c-cos
Diffstat (limited to 'test/monniaux/mod_int_mat')
-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 d1365b34..08b97b67 100644 --- a/test/monniaux/mod_int_mat/Makefile +++ b/test/monniaux/mod_int_mat/Makefile @@ -1,5 +1,5 @@ CFLAGS=-Wall -O3 -std=c99 -K1C_CC=k1-mbr-gcc +K1C_CC=k1-cos-gcc K1C_CFLAGS=-Wall -O3 -std=c99 K1C_CCOMP=../../../ccomp K1C_CCOMPFLAGS=-Wall -O3 |