diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-06 14:18:14 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-11-06 14:18:14 +0100 |
| commit | 311be726fba75936dcea26039319c277f095e7c8 (patch) | |
| tree | b95b653e0310720de3385c0683486a088bdf4d16 | |
| parent | 4312540c3c0dbf3b60d0688ae002e04ba75fae4a (diff) | |
| parent | 433a2661613ecef44455ce2fd7148c9a7ddf8e9c (diff) | |
| download | compcert-kvx-311be726fba75936dcea26039319c277f095e7c8.tar.gz compcert-kvx-311be726fba75936dcea26039319c277f095e7c8.zip | |
Merge remote-tracking branch 'origin/kvx-work-ssa' into kvx-test-prepass-ssa
| -rw-r--r-- | test/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/test/Makefile b/test/Makefile index 4e957b57..2dd104d3 100644 --- a/test/Makefile +++ b/test/Makefile @@ -5,8 +5,6 @@ ifeq ($(ARCH),kvx) else DIRS=c compression raytracer spass regression extra endif -DIRS=c compression raytracer spass regression \ - extra PICOSAT=picosat-965 ifeq ($(CLIGHTGEN),true) |