From bb691b7f3daf09e711e449baba5aa063d8949902 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 29 Sep 2020 14:43:17 +0200
Subject: [PATCH] adds some tests

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

diff --git a/Makefile b/Makefile
index 8e88f816a72..36a0bd3dee0 100644
--- a/Makefile
+++ b/Makefile
@@ -168,8 +168,8 @@ force-reconfigure:
 ##############################################################################
 .PHONY: tests
 
-TESTS=rte slicing scope value
-tests:
+TESTS=cil float idct rte slicing scope value
+dune-tests:
 	dune exec -- ptests
 	dune build $(addprefix @tests/,$(addsuffix /ptests,$(TESTS)))
 
-- 
GitLab