Skip to content
Snippets Groups Projects
Commit 4c91be8f authored by Julien Signoles's avatar Julien Signoles
Browse files

[tests] remove CI specificies

parent c0db5f3c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/Makefile.in
+ 0
− 11
View file @ 4c91be8f
...@@ -170,14 +170,6 @@ ifeq (@MAY_RUN_TESTS@,yes) ...@@ -170,14 +170,6 @@ ifeq (@MAY_RUN_TESTS@,yes)
-include in_frama_ci -include in_frama_ci
ifeq ($(IN_FRAMA_CI),yes)
PLUGIN_TESTS_DIRS := \
gmp \
no-main
else
PLUGIN_TESTS_DIRS := \ PLUGIN_TESTS_DIRS := \
format \ format \
runtime \ runtime \
...@@ -192,9 +184,6 @@ PLUGIN_TESTS_DIRS := \ ...@@ -192,9 +184,6 @@ PLUGIN_TESTS_DIRS := \
# supported. # supported.
# builtin \ # builtin \
endif
PLUGIN_TESTS_LIB := $(EACSL_PLUGIN_DIR)/tests/print.ml PLUGIN_TESTS_LIB := $(EACSL_PLUGIN_DIR)/tests/print.ml
E_ACSL_TESTS: $(EACSL_PLUGIN_DIR)/tests/test_config E_ACSL_TESTS: $(EACSL_PLUGIN_DIR)/tests/test_config
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment