From 87472150bcb83e9cbad2f567ac536de0456ceb70 Mon Sep 17 00:00:00 2001
From: paradust7 <102263465+paradust7@users.noreply.github.com>
Date: Fri, 6 May 2022 13:17:16 -0700
Subject: Add benchmarks for json string serialize/deserialize (#12258)

Co-authored-by: sfan5 <sfan5@live.de>
---
 util/ci/build.sh | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'util/ci/build.sh')

diff --git a/util/ci/build.sh b/util/ci/build.sh
index 435cc11da..88349b852 100755
--- a/util/ci/build.sh
+++ b/util/ci/build.sh
@@ -1,6 +1,10 @@
 #! /bin/bash -e
 
-cmake -B build -DCMAKE_BUILD_TYPE=Debug \
-	-DRUN_IN_PLACE=TRUE -DENABLE_GETTEXT=TRUE \
-	-DBUILD_SERVER=TRUE ${CMAKE_FLAGS}
+cmake -B build \
+	-DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE:-Debug} \
+	-DRUN_IN_PLACE=TRUE \
+	-DENABLE_GETTEXT=${CMAKE_ENABLE_GETTEXT:-TRUE} \
+	-DBUILD_SERVER=${CMAKE_BUILD_SERVER:-TRUE} \
+	${CMAKE_FLAGS}
+
 cmake --build build --parallel $(($(nproc) + 1))
-- 
cgit v1.2.3