From 4c91be8f9d982f1cdad7b20316ec33bb24da2466 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 30 Aug 2019 10:34:45 +0200
Subject: [PATCH] [tests] remove CI specificies

---
 src/plugins/e-acsl/Makefile.in | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index cb5b3025bc2..012d174c550 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -170,14 +170,6 @@ ifeq (@MAY_RUN_TESTS@,yes)
 
 -include in_frama_ci
 
-ifeq ($(IN_FRAMA_CI),yes)
-
-PLUGIN_TESTS_DIRS := \
-	gmp \
-	no-main
-
-else
-
 PLUGIN_TESTS_DIRS := \
 	format \
 	runtime \
@@ -192,9 +184,6 @@ PLUGIN_TESTS_DIRS := \
 # supported.
 #	builtin \
 
-
-endif
-
 PLUGIN_TESTS_LIB := $(EACSL_PLUGIN_DIR)/tests/print.ml
 E_ACSL_TESTS: $(EACSL_PLUGIN_DIR)/tests/test_config
 
-- 
GitLab