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

[tests] automatic regeneration of test_config when invoking E_ACSL_TESTS directly

parent 2908eef8
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
+ 1
− 1
View file @ c644a861
......@@ -113,7 +113,7 @@ $(PLUGIN_DIR)/local_config.ml: $(PLUGIN_DIR)/Makefile.in VERSION
ifeq (@MAY_RUN_TESTS@,yes)
PLUGIN_TESTS_DIRS:=e-acsl-reject e-acsl-runtime
tests:: $(PLUGIN_DIR)/tests/test_config
E_ACSL_TESTS: $(PLUGIN_DIR)/tests/test_config
endif
......
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