From 1dc71fb5aaa75c9dd752c7b98e57f7515a5e9838 Mon Sep 17 00:00:00 2001 From: Jack May Date: Mon, 7 Dec 2020 13:53:28 -0800 Subject: [PATCH] Bump criterion to v2.3.3 (#14002) --- sdk/bpf/scripts/install.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/sdk/bpf/scripts/install.sh b/sdk/bpf/scripts/install.sh index 88a5808d31..213d653d56 100755 --- a/sdk/bpf/scripts/install.sh +++ b/sdk/bpf/scripts/install.sh @@ -105,7 +105,11 @@ if [[ ! -e xargo-$version.md ]] || [[ ! -x bin/xargo ]]; then fi # Install Criterion -version=v2.3.2 +if [[ $machine == "linux" ]]; then + version=v2.3.3 +else + version=v2.3.2 +fi if [[ ! -e criterion-$version.md || ! -e criterion ]]; then ( set -e