From 7cf79c11081209537e74ee123daa42bee963804c Mon Sep 17 00:00:00 2001
From: NissimHadar <nissim.hadar@gmail.com>
Date: Fri, 22 Feb 2019 15:06:42 -0800
Subject: [PATCH] Now WITH installation of nitpick.

---
 tools/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt
index ed66ab1ed1..b9ae635a4f 100644
--- a/tools/CMakeLists.txt
+++ b/tools/CMakeLists.txt
@@ -20,7 +20,7 @@ endfunction()
 
 if (BUILD_TOOLS)
     # Allow different tools for stable builds
-    if (NOT STABLE_BUILD)
+    if (STABLE_BUILD)
         set(ALL_TOOLS 
             udt-test 
             vhacd-util