diff --git a/Makefile b/Makefile index ecddbe33a39afae6f103f190e78c216639fead32..e54527cfdabc27d5cc1a9bb9d69631d60a9423cf 100644 --- a/Makefile +++ b/Makefile @@ -19,8 +19,8 @@ install : doc : $(DUNE) build @doc $(FLAGS) -.PHONY : tests -tests : +.PHONY : test +test : $(DUNE) runtest $(FLAGS) $(PROJECT_NAME).opam : dune-project $(PROJECT_NAME).opam.template