diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-10-01 16:36:42 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-10-01 16:36:42 +0200 |
commit | c61c6f0260498a36821b798fa3686deeb4ef4b6b (patch) | |
tree | 440f51299428eab19b87e3d1138e59ab871659b5 /test/kvx/interop | |
parent | b2fc9b55d9c59a9c507786a650377e2f0a1ddad8 (diff) | |
download | compcert-kvx-c61c6f0260498a36821b798fa3686deeb4ef4b6b.tar.gz compcert-kvx-c61c6f0260498a36821b798fa3686deeb4ef4b6b.zip |
Updating test/kvx for KVX tools
Diffstat (limited to 'test/kvx/interop')
-rw-r--r-- | test/kvx/interop/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/kvx/interop/Makefile b/test/kvx/interop/Makefile index a0d4d7da..aa018aac 100644 --- a/test/kvx/interop/Makefile +++ b/test/kvx/interop/Makefile @@ -1,12 +1,12 @@ SHELL := /bin/bash -KVXC ?= k1-cos-gcc +KVXC ?= kvx-elf-gcc CC ?= gcc CCOMP ?= ccomp CFLAGS ?= -O2 -Wno-varargs -SIMU ?= k1-mppa +SIMU ?= kvx-mppa TIMEOUT ?= --signal=SIGTERM 120s -HARDRUN ?= k1-jtag-runner +HARDRUN ?= kvx-jtag-runner DIR=./ SRCDIR=$(DIR) |