diff --git a/Jenkinsfile b/Jenkinsfile
index 8689e19274fd87e85e386e4d597a762309d8fcb4..433c85f9f986fbf453cf81cf5c85c3ee78c5c70b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -184,7 +184,7 @@ def pre_test_noinstall(){
     git clean -dfx
     mkdir debug
     cd debug
-    cmake .. -DBUILD_HTTP=false -DBUILD_TOOLS=false > /dev/null
+    cmake .. -DBUILD_HTTP=false -DBUILD_TOOLS=true > /dev/null
     make
     '''
     return 1