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/common.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/common.sh')
| -rw-r--r-- | util/ci/common.sh | 4 |
1 files changed, 3 insertions, 1 deletions
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 |