From 14fb2fddc2a51e0ac3de3cf40c537a79801d9d82 Mon Sep 17 00:00:00 2001
From: Antonin Portelli <antonin.portelli@me.com>
Date: Wed, 1 Feb 2023 23:55:37 +0000
Subject: [PATCH] Grid benchmark build script fix

---
 Grid/build-benchmark.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Grid/build-benchmark.sh b/Grid/build-benchmark.sh
index 92ce696..ac81a85 100755
--- a/Grid/build-benchmark.sh
+++ b/Grid/build-benchmark.sh
@@ -20,8 +20,12 @@ mkdir -p "${build_dir}"
 source "${env_dir}/env.sh"
 entry=$(jq ".configs[]|select(.name==\"${cfg}\")" "${env_dir}"/grid-config.json)
 env_script=$(echo "${entry}" | jq -r ".\"env-script\"")
-cd "${build_dir}" || return
 source "${env_dir}/${env_script}"
+cd "${script_dir}"
+if [ ! -f configure ]; then
+    ./bootstrap.sh
+fi
+cd "${build_dir}"
 if [ ! -f Makefile ]; then
     "${script_dir}/configure" --with-grid="${env_dir}/prefix/grid_${cfg}" \
                             --prefix="${env_dir}/prefix/gridbench_${cfg}"