diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index cbbeefb46eaad490c7d077ee1191ed4a28c72408..a6befa02d8ad5bc8e29d3b165823d92e8c3f32ef 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -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