diff --git a/.ci/build.sh b/.ci/build.sh index c109c37efe..c381cda2f0 100755 --- a/.ci/build.sh +++ b/.ci/build.sh @@ -138,9 +138,10 @@ for PACKAGE in $BUILD_ORDER; do echo "$0: SHA=$SHA" GIT_SHA_MATCHES=$(apt-cache policy $FUTURE_DEB_NAME | grep "Candidate" | grep "git.${SHA}" | wc -l) + ON_PUSH_BUILD=$(apt-cache policy $FUTURE_DEB_NAME | grep "Candidate" | grep "on.push.build" | wc -l) NEW_COMMIT=false - if [[ "$GIT_SHA_MATCHES" == "0" ]]; then + if [[ "$GIT_SHA_MATCHES" == "0" ]] || [[ "$ON_PUSH_BUILD" == "0" ]]; then echo "$0: new commit detected, going to compile" NEW_COMMIT=true fi