From 5f93b6b183d44e4fe65f48315cea1c217a69c9ed Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 14 Jan 2019 15:10:50 +0100
Subject: [PATCH] Add dependency to build tests for make check.

---
 tools/cmake/Distrib.cmake | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/cmake/Distrib.cmake b/tools/cmake/Distrib.cmake
index be2bfb99cc..c5b9925d9e 100644
--- a/tools/cmake/Distrib.cmake
+++ b/tools/cmake/Distrib.cmake
@@ -337,6 +337,7 @@ if(enable_memcheck)
 else()
   add_custom_target(check COMMAND make test)
 endif()
+add_dependencies(check tests)
 
 #######################################
 ### Fill in the "make xxx-clean" target ###
-- 
2.20.1