diff options
author | paradust7 <102263465+paradust7@users.noreply.github.com> | 2022-05-06 13:17:16 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-06 21:17:16 +0100 |
commit | 87472150bcb83e9cbad2f567ac536de0456ceb70 (patch) | |
tree | 027a80a417245989764c45d6923e9c81c7785805 /util/ci/build.sh | |
parent | 45d318a77300b014b13366ee9fa4cfc69e08f360 (diff) | |
download | minetest-87472150bcb83e9cbad2f567ac536de0456ceb70.tar.gz minetest-87472150bcb83e9cbad2f567ac536de0456ceb70.tar.bz2 minetest-87472150bcb83e9cbad2f567ac536de0456ceb70.zip |
Add benchmarks for json string serialize/deserialize (#12258)
Co-authored-by: sfan5 <sfan5@live.de>
Diffstat (limited to 'util/ci/build.sh')
-rwxr-xr-x | util/ci/build.sh | 10 |
1 files changed, 7 insertions, 3 deletions
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)) |