diff --git a/runner_scripts/root/run.sh b/runner_scripts/root/run.sh index 9cb8210d5b41ad95e469f33213dca775272798b2..f527675a67ef97982f8b608a8868645a84f2b183 100755 --- a/runner_scripts/root/run.sh +++ b/runner_scripts/root/run.sh @@ -79,9 +79,7 @@ if [[ ("$2" == "step_script" || "$2" == "build_script") && "${CUSTOM_ENV_NO_SLUR : "${SLURM_NODELIST:="phinally"}" # default node: phinally if [ ! $(sinfo -n "$SLURM_NODELIST" -h -O NodeList) ]; then - echo -e "${TXT_RED}${TXT_BOLD}Unknown node \"$SLURM_NODELIST\" specified. Available nodes: ${TXT_CLEAR}" >&2 - echo "$(sinfo -N -o '%N %c %m')" >&2 - error "Exiting..." + error "Unknown node \"$SLURM_NODELIST\" specified." fi SLURM_PARTITION=work