From 04941b3cb8712cee9c3b0806cfe7aa76287c40e8 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Sun, 24 Jul 2016 16:09:47 +0200
Subject: Updates to the local test suite

- Adjust parameters to bring the running time of each test closer to 1 second
- compression/arcode.c: array access one past
- "inline" -> "static inline"
- Remove cchecklink support
---
 test/regression/Makefile | 10 ----------
 1 file changed, 10 deletions(-)

(limited to 'test/regression')

diff --git a/test/regression/Makefile b/test/regression/Makefile
index 335a136b..88f50466 100644
--- a/test/regression/Makefile
+++ b/test/regression/Makefile
@@ -2,10 +2,6 @@ include ../../Makefile.config
 
 CCOMP=../../ccomp
 CCOMPFLAGS=-stdlib ../../runtime -dparse -dc -dclight -dasm -fall
-ifeq ($(CCHECKLINK),true)
-CCHECK=../../cchecklink
-CCOMPFLAGS+= -sdump
-endif
 
 LIBS=$(LIBMATH)
 
@@ -104,9 +100,3 @@ test:
 
 bench:
 
-ccheck:
-	@for i in $(TESTS) $(TESTS_COMP); do \
-           echo "---- $$i"; \
-           $(CCHECK) -exe $$i.compcert $$i.sdump; \
-         done
-
-- 
cgit