rename `make dune_tests` into `make tests`

cc3a684e · François Bobot · 92e9c211 · cc3a684e
Commit cc3a684e authored 4 years ago by François Bobot
--- 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)))