diff --git a/scripts/environment_redhat.sh b/scripts/environment_redhat.sh index d05af80..1a4f8ce 100644 --- a/scripts/environment_redhat.sh +++ b/scripts/environment_redhat.sh @@ -5,7 +5,9 @@ # This is working around GitHub Actions running commands in non-login shells # that would otherwise not have the `module` command available. export LMOD_SH_DBG_ON=1 +set +e source /etc/profile.d/modules.sh +set -e # --- # --- End GitHub-Actions-specific code --- # ---