From b460f47476c7bae036e8cea7a01be3021b3e97ff Mon Sep 17 00:00:00 2001 From: Matthew Barr Date: Tue, 8 Dec 2015 14:40:20 +1100 Subject: [PATCH] Build the tools dir only if the cmake file exists --- CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 4034b14b..54e5c9f7 100644 --- 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()