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/lib | |
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/lib')
-rw-r--r-- | test/mppa/lib/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/mppa/lib/Makefile b/test/mppa/lib/Makefile index affc1afd..08901db6 100644 --- a/test/mppa/lib/Makefile +++ b/test/mppa/lib/Makefile @@ -1,5 +1,5 @@ -K1CC ?= k1-mbr-gcc -K1AR ?= k1-mbr-ar +K1CC ?= k1-cos-gcc +K1AR ?= k1-cos-ar CC ?= gcc AR ?= gcc-ar CCOMP ?= ccomp |