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

[tests] fix issue with print.ml

parent 2650c318
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
+ 5
− 2
View file @ 8e18e3ad
...@@ -185,7 +185,7 @@ PLUGIN_TESTS_DIRS := \ ...@@ -185,7 +185,7 @@ PLUGIN_TESTS_DIRS := \
# supported. # supported.
# builtin # builtin
PLUGIN_TESTS_LIB := $(EACSL_PLUGIN_DIR)/tests/print.cmxs PLUGIN_TESTS_LIB := $(EACSL_PLUGIN_DIR)/tests/print.ml
DEV= DEV=
ifeq ("$(DEV)","yes") ifeq ("$(DEV)","yes")
...@@ -197,7 +197,10 @@ PLUGIN_PTESTS_OPTS:=-config $(EACSL_TEST_CONFIG) ...@@ -197,7 +197,10 @@ PLUGIN_PTESTS_OPTS:=-config $(EACSL_TEST_CONFIG)
E_ACSL_TESTS E_ACSL_DEFAULT_TESTS: \ E_ACSL_TESTS E_ACSL_DEFAULT_TESTS: \
$(EACSL_PLUGIN_DIR)/tests/ptests_config \ $(EACSL_PLUGIN_DIR)/tests/ptests_config \
$(EACSL_PLUGIN_DIR)/tests/test_config_$(EACSL_TEST_CONFIG) $(EACSL_PLUGIN_DIR)/tests/test_config_$(EACSL_TEST_CONFIG) \
$(EACSL_PLUGIN_DIR)/tests/print.cmxs \
$(EACSL_PLUGIN_DIR)/tests/print.cmo
$(EACSL_PLUGIN_DIR)/tests/test_config_ci: \ $(EACSL_PLUGIN_DIR)/tests/test_config_ci: \
$(EACSL_PLUGIN_DIR)/tests/test_config_ci.in \ $(EACSL_PLUGIN_DIR)/tests/test_config_ci.in \
......
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