Handle custom prefix in dev.eessi.io

EESSI · Nov 29, 2024 · 5a7012c · 5a7012c
1 parent e126f78
commit 5a7012c
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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}"