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/interop | |
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/interop')
-rw-r--r-- | test/mppa/interop/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/mppa/interop/Makefile b/test/mppa/interop/Makefile index a405ebd6..e615e89a 100644 --- a/test/mppa/interop/Makefile +++ b/test/mppa/interop/Makefile @@ -1,4 +1,6 @@ -K1CC ?= k1-mbr-gcc +SHELL := /bin/bash + +K1CC ?= k1-cos-gcc CC ?= gcc CCOMP ?= ccomp CFLAGS ?= -O2 -Wno-varargs |