diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-17 16:31:40 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-17 16:31:40 +0200 |
commit | 02083d1e3d82898197966ae1117d89eed9e4e22b (patch) | |
tree | eef5e204bb34fde87fee83a9dd8840c6c38408d8 /test/mppa/mmult/Makefile | |
parent | a3f91e32d5d907290d194f7c3a0596ab29b3d3fb (diff) | |
download | compcert-kvx-02083d1e3d82898197966ae1117d89eed9e4e22b.tar.gz compcert-kvx-02083d1e3d82898197966ae1117d89eed9e4e22b.zip |
Dans test/mppa : changer k1-mbr-gcc en k1-cos-gcc
Diffstat (limited to 'test/mppa/mmult/Makefile')
-rw-r--r-- | test/mppa/mmult/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/mppa/mmult/Makefile b/test/mppa/mmult/Makefile index 5895ce3d..667faef8 100644 --- a/test/mppa/mmult/Makefile +++ b/test/mppa/mmult/Makefile @@ -1,4 +1,4 @@ -K1CC ?= k1-mbr-gcc +K1CC ?= k1-cos-gcc CC ?= gcc CCOMP ?= ccomp CFLAGS ?= -O2 |