Build the tools dir only if the cmake file exists

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 4034b14bac381102540aa49133bc25bab84f3fd7..54e5c9f728660c19eb9c9e6f010279ff2fa96ade 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -332,7 +332,7 @@ endif()
 add_subdirectory(util)
 add_subdirectory(unit)
 add_subdirectory(doc/dev-reference)
-if (EXISTS ${CMAKE_SOURCE_DIR}/tools)
+if (EXISTS ${CMAKE_SOURCE_DIR}/tools/CMakeLists.txt)
     add_subdirectory(tools)
 endif()