From 5a7012caf071d271210e3cf11f221cb297d043c6 Mon Sep 17 00:00:00 2001
From: Neves-P <p.m.santos.neves@rug.nl>
Date: Fri, 29 Nov 2024 15:51:06 +0100
Subject: [PATCH] Handle custom prefix in dev.eessi.io

---
 bot/check-build.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/bot/check-build.sh b/bot/check-build.sh
index 41aeab258e..faa2ff1e05 100755
--- a/bot/check-build.sh
+++ b/bot/check-build.sh
@@ -480,6 +480,12 @@ if [[ ! -z ${TARBALL} ]]; then
     accelerator=$(cfg_get_value "architecture" "accelerator")
     prefix="${repo_version}/software/${os_type}/${software_subdir}"
 
+    # if building for dev.eessi.io is set, the prefix is different
+    # it needs the project name in the path
+    if [ ! -z ${EESSI_DEV_PROJECT} ]; then
+        prefix="${repo_version}/${EESSI_DEV_PROJECT}/software/${os_type}/${software_subdir}"
+    fi
+
     # if we build for an accelerator, the prefix is different
     if [[ ! -z ${accelerator} ]]; then
       prefix="${prefix}/accel/${accelerator}"