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/prng | |
| parent | b2fc9b55d9c59a9c507786a650377e2f0a1ddad8 (diff) | |
| download | compcert-kvx-c61c6f0260498a36821b798fa3686deeb4ef4b6b.tar.gz compcert-kvx-c61c6f0260498a36821b798fa3686deeb4ef4b6b.zip | |
Updating test/kvx for KVX tools
Diffstat (limited to 'test/kvx/prng')
| -rw-r--r-- | test/kvx/prng/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/kvx/prng/Makefile b/test/kvx/prng/Makefile index 68e5ffc9..b97f4aa4 100644 --- a/test/kvx/prng/Makefile +++ b/test/kvx/prng/Makefile @@ -1,8 +1,8 @@ -KVXC ?= k1-cos-gcc +KVXC ?= kvx-elf-gcc CC ?= gcc CCOMP ?= ccomp CFLAGS ?= -O2 -SIMU ?= k1-mppa +SIMU ?= kvx-mppa TIMEOUT ?= 10s KVXCPATH=$(shell which $(KVXC)) @@ -67,3 +67,4 @@ check: $(CCOMP_OUT) $(STUB_OUT) .PHONY: clean: rm -f prng-test-gcc-x86 prng-test-gcc-kvx prng-test-ccomp-kvx + rm -f *.out |