diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-09-19 17:59:33 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-09-19 17:59:33 +0200 |
commit | f23f7ae124c8394c16a3db4e4d75c7f795ad7dab (patch) | |
tree | 8537de849d0c5d7a3eb8b9a6f803bb19f3eb835a | |
parent | 371fc75ba09f7c1e7ea11ec4fe4e04aca05b5bef (diff) | |
download | compcert-kvx-f23f7ae124c8394c16a3db4e4d75c7f795ad7dab.tar.gz compcert-kvx-f23f7ae124c8394c16a3db4e4d75c7f795ad7dab.zip |
Desactivating CompCert tests taking too long
-rw-r--r-- | test/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/test/Makefile b/test/Makefile index 504e4c53..037fdc8f 100644 --- a/test/Makefile +++ b/test/Makefile @@ -1,6 +1,8 @@ include ../Makefile.config -DIRS=c compression raytracer spass regression +#DIRS=c compression raytracer spass regression +# Kalray note - removing compression, raytracer and spass that cannot be executed by the simulator in reasonable time +DIRS=c regression ifeq ($(CLIGHTGEN),true) DIRS+=clightgen endif |