Commit 5841dfd6 authored by Andrei Paskevich's avatar Andrei Paskevich

Makefile: fix an old merge mistake

parent c4fddf7e
......@@ -1739,7 +1739,7 @@ bench:: bin/why3.@OCAMLBEST@ bin/why3config.@OCAMLBEST@ plugins $(TOOLS) \
@if test "@enable_coq_tactic@" = "yes"; then \
echo ; \
echo "=== Checking the Coq tactic ==="; \
$(MAKE) test-coq-tactic.@OCAMLBEST@; fi
$(MAKE) test-coq-tactic; fi
###############
# test targets
......
Markdown is supported
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