From 88514540d10a2467b3d9c50cfd224c988d30f653 Mon Sep 17 00:00:00 2001 From: Brad Davis Date: Fri, 4 Oct 2019 09:26:33 -0700 Subject: [PATCH] Fixing tools build --- tools/CMakeLists.txt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt index 72b1ebe7ba..6f9145ff7d 100644 --- a/tools/CMakeLists.txt +++ b/tools/CMakeLists.txt @@ -42,7 +42,9 @@ if (BUILD_TOOLS) check_test(${TOOL}) if (${BUILD_TOOL_RESULT}) add_subdirectory(${TOOL}) - set_target_properties(${TOOL} PROPERTIES FOLDER "Tools") + if (TARGET ${TOOL}) + set_target_properties(${TOOL} PROPERTIES FOLDER "Tools") + endif() endif() endforeach() endif()