diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-09-25 11:41:57 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-09-25 11:41:57 +0200 |
| commit | 32f18c9068b4f23997733df68960f4f6c73a7ff4 (patch) | |
| tree | 029094163fcc93e37cf4a82a0738d3429f7ce81c /test/c | |
| parent | 262c936143b11006167d44719c6984eb295c886b (diff) | |
| download | compcert-kvx-32f18c9068b4f23997733df68960f4f6c73a7ff4.tar.gz compcert-kvx-32f18c9068b4f23997733df68960f4f6c73a7ff4.zip | |
Preferring the (ifeq) approach for removing tests
Diffstat (limited to 'test/c')
| -rw-r--r-- | test/c/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/c/Makefile b/test/c/Makefile index 7aee6c4f..b7db48ed 100644 --- a/test/c/Makefile +++ b/test/c/Makefile @@ -24,6 +24,10 @@ PROGS?=fib integr qsort fft fftsp fftw sha1 sha3 aes almabench \ # * also removed bisect, who is exhibiting different float values on the Kalray # architecture than using x86 GCC (for both CompCert and GCC ports) (tested with n=10) ## +ifeq ($(ARCH),mppa_k1c) + PROGS:=$(filter-out knucleotide,$(PROGS)) + PROGS:=$(filter-out bisect,$(PROGS)) +endif all: $(PROGS:%=%.compcert) |