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 --- util/ci/common.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'util/ci/common.sh') diff --git a/util/ci/common.sh b/util/ci/common.sh index e372dc682..82529c712 100644 --- a/util/ci/common.sh +++ b/util/ci/common.sh @@ -7,7 +7,9 @@ install_linux_deps() { libhiredis-dev libogg-dev libgmp-dev libvorbis-dev libopenal-dev \ gettext libpq-dev libleveldb-dev libcurl4-openssl-dev libzstd-dev) - if [[ "$1" == "--old-irr" ]]; then + if [[ "$1" == "--no-irr" ]]; then + shift + elif [[ "$1" == "--old-irr" ]]; then shift pkgs+=(libirrlicht-dev) else -- cgit v1.2.3