From be5f9b211b76b7f43deaa156d1236d629c4a7311 Mon Sep 17 00:00:00 2001
From: NissimHadar <nissim.hadar@gmail.com>
Date: Wed, 13 Feb 2019 18:09:06 -0800
Subject: [PATCH] Add nitpick to production (but not stable) builds

---
 tools/CMakeLists.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt
index 4d7a594d92..b9ae635a4f 100644
--- a/tools/CMakeLists.txt
+++ b/tools/CMakeLists.txt
@@ -19,8 +19,8 @@ function(check_test name)
 endfunction()
 
 if (BUILD_TOOLS)
-    # Allow different tools for production builds
-    if (RELEASE_TYPE STREQUAL "PRODUCTION")
+    # Allow different tools for stable builds
+    if (STABLE_BUILD)
         set(ALL_TOOLS 
             udt-test 
             vhacd-util