From 0fd55750899a36c06741d1d671d5c60e7e6525a9 Mon Sep 17 00:00:00 2001 From: Matthias Bernt Date: Fri, 15 Dec 2023 22:59:35 +0100 Subject: [PATCH] fix for pipefail since we use pipefail the previous did not work --- planemo_ci_actions.sh | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/planemo_ci_actions.sh b/planemo_ci_actions.sh index dd735d7..364ef08 100755 --- a/planemo_ci_actions.sh +++ b/planemo_ci_actions.sh @@ -113,12 +113,9 @@ if [ "$MODE" == "lint" ]; then mapfile -t REPO_ARRAY < repository_list.txt for DIR in "${REPO_ARRAY[@]}"; do if [ "$WORKFLOWS" != "true" ]; then - planemo shed_lint --tools --ensure_metadata --urls --report_level "$REPORT_LEVEL" --fail_level "$FAIL_LEVEL" --recursive "$DIR" "${ADDITIONAL_PLANEMO_OPTIONS[@]}" | tee -a lint_report.txt + (planemo shed_lint --tools --ensure_metadata --urls --report_level "$REPORT_LEVEL" --fail_level "$FAIL_LEVEL" --recursive "$DIR" "${ADDITIONAL_PLANEMO_OPTIONS[@]}" | tee -a lint_report.txt) || lint_fail=true else - planemo workflow_lint --report_level "$REPORT_LEVEL" --fail_level "$FAIL_LEVEL" "$DIR" "${ADDITIONAL_PLANEMO_OPTIONS[@]}" | tee -a lint_report.txt - fi - if [ "${PIPESTATUS[0]}" -ne 0 ]; then - lint_fail=true + (planemo workflow_lint --report_level "$REPORT_LEVEL" --fail_level "$FAIL_LEVEL" "$DIR" "${ADDITIONAL_PLANEMO_OPTIONS[@]}" | tee -a lint_report.txt) || lint_fail=true fi done # Check if each changed tool is in the list of changed repositories