From 2882196394beb1bec0486e8c477de83ef9c2297a Mon Sep 17 00:00:00 2001
From: Antonin Reitz <antonin.reitz@inria.fr>
Date: Fri, 21 Jun 2024 14:29:58 +0200
Subject: [PATCH] try to fix OSX CI

---
 build-bench-env.sh | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/build-bench-env.sh b/build-bench-env.sh
index dc1ea07..a81b1a2 100755
--- a/build-bench-env.sh
+++ b/build-bench-env.sh
@@ -27,6 +27,11 @@ if [ "$EUID" -eq 0 ]; then
   SUDO=""
 fi
 
+SHA256SUM_CMD="sha256sum"
+if test "$darwin" = "1"; then
+  SHA256SUM_CMD="shasum -a 256"
+fi
+
 curdir=`pwd`
 rebuild=0
 all=0
@@ -349,12 +354,12 @@ function checkout {  # name, git-tag, git repo, options
 }
 
 function check_checksum {  # name, sha256sum
-  if (echo $2 $1 | sha256sum --check --status); then
+  if (echo $2 $1 | $SHA256SUM_CMD --check --status); then
     echo "$1 has correct checksum"
   else
     echo "$1 has wrong checksum"
     echo "$2 was expected"
-    sha256sum $1
+    $SHA256SUM_CMD $1
   fi
 }