From f76df96cdc0193efb57e550f2ce8b32c955356c3 Mon Sep 17 00:00:00 2001 From: haoranchen Date: Thu, 27 Oct 2022 16:01:36 +0800 Subject: [PATCH] Update Jenkinsfile2 --- Jenkinsfile2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile2 b/Jenkinsfile2 index 91d9403310..2135a89c14 100644 --- a/Jenkinsfile2 +++ b/Jenkinsfile2 @@ -173,7 +173,7 @@ def pre_test_build_mac() { ''' sh ''' cd ${WK}/debug - cmake .. -DBUILD_TEST=true + cmake .. -DBUILD_TEST=true -DBUILD_HTTPS=false -DBUILD_TOOLS=true -DWEBSOCKET=true make -j10 ''' sh '''