From cc3a684ee9113c30b57b7f527428797141a7f599 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Tue, 29 Sep 2020 14:19:39 +0200
Subject: [PATCH] rename `make dune_tests` into `make tests`

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

diff --git a/Makefile b/Makefile
index aa440aa2092..8e88f816a72 100644
--- a/Makefile
+++ b/Makefile
@@ -166,10 +166,10 @@ force-reconfigure:
 
 
 ##############################################################################
-.phony: dune-tests
+.PHONY: tests
 
 TESTS=rte slicing scope value
-dune-tests:
+tests:
 	dune exec -- ptests
 	dune build $(addprefix @tests/,$(addsuffix /ptests,$(TESTS)))
 
-- 
GitLab