From dfe7f792f5dfa8ddaa751455007756c4b8e2cec8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bob=20Dr=C3=B6ge?= <b.e.droge@rug.nl>
Date: Thu, 5 Dec 2024 12:02:50 +0100
Subject: [PATCH] print message when disabling CUDA for RISC-V

---
 bot/build.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/bot/build.sh b/bot/build.sh
index 92b833bcd2..504f197e79 100755
--- a/bot/build.sh
+++ b/bot/build.sh
@@ -179,6 +179,7 @@ fi
 
 # Skip CUDA installation for riscv.eessi.io
 if [[ "${REPOSITORY}" == riscv.eessi.io* ]]; then
+    echo "bot/build.sh: disabling CUDA installation for RISC-V repository ${REPOSITORY}"
     INSTALL_SCRIPT_ARGS+=("--skip-cuda-install")
 fi
 echo "DEBUG: repo: ${REPOSITORY}, ${INSTALL_SCRIPTS_ARGS[@]}"