updated build rulez

ctu-mrs · Apr 23, 2024 · a27f6c9 · a27f6c9
1 parent 0759e32
commit a27f6c9
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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