From b471728376b1e333ffec9e0aed57b6a3c55b482c Mon Sep 17 00:00:00 2001
From: Thierry Martinez <Thierry.Martinez@inria.fr>
Date: Sat, 9 May 2020 02:48:12 +0200
Subject: [PATCH] Rename test target

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index ecddbe3..e54527c 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
-- 
GitLab