From 851fdaed7060ad06e3d3c94998000a7d18f802f4 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 13:23:30 +0100
Subject: [PATCH] fix typo in debug message

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

diff --git a/bot/build.sh b/bot/build.sh
index fd84b46e83..8cb2fae239 100755
--- a/bot/build.sh
+++ b/bot/build.sh
@@ -196,7 +196,7 @@ 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[@]}"
+echo "DEBUG: repo: ${REPOSITORY}, ${INSTALL_SCRIPT_ARGS[@]}"
 
 # determine if the removal step has to be run
 # assume there's only one diff file that corresponds to the PR patch file