Commit d5d54f6c authored by groot's avatar groot
Browse files

Merge remote-tracking branch 'source/0.6.0' into ongoing

parents c220e0e1 8e4c5833

ci/scripts/check_ccache.sh

+7 −7
Original line number Diff line number Diff line
@@ -57,17 +57,17 @@ check_ccache() { 
    fi

}



for BRANCH_NAME in ${BRANCH_NAMES}

do

    if [[ "${BRANCH_NAME}" != "HEAD" ]];then

        check_ccache ${BRANCH_NAME}

    fi

done



if [[ -n "${CHANGE_BRANCH}" && "${BRANCH_NAME}" =~ "PR-" ]];then

    check_ccache ${CHANGE_BRANCH}

    check_ccache ${BRANCH_NAME}

fi



for CURRENT_BRANCH in ${BRANCH_NAMES}

do

    if [[ "${CURRENT_BRANCH}" != "HEAD" ]];then

        check_ccache ${CURRENT_BRANCH}

    fi

done



echo "could not download cache" && exit 1