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