update

scripts/build-linux-release.sh

@@ -32,8 +32,14 @@ if [[ "$REQUESTED_PACKAGE_RELEASE" == "auto" ]]; then
     [[ -r "$DATA_DIR/state/last_version" ]] && LAST_VERSION=$(cat "$DATA_DIR/state/last_version")
     [[ -r "$DATA_DIR/state/last_package_release" ]] && LAST_PACKAGE_RELEASE=$(cat "$DATA_DIR/state/last_package_release")
 
+    CURRENT_LINUX_PACKAGING_REVISION=""
+    if [[ -r "$REPOSITORY/current/LINUX-BUILD-INFO.txt" ]]; then
+        CURRENT_LINUX_PACKAGING_REVISION=$(sed -n 's/^packaging_revision=//p' "$REPOSITORY/current/LINUX-BUILD-INFO.txt" | head -n1)
+    fi
+
     if [[ "$LAST_LINUX_COMMIT" == "$SHA" \
         && "$LAST_VERSION" == "$VERSION" \
+        && "$CURRENT_LINUX_PACKAGING_REVISION" == "$PACKAGING_REVISION" \
         && "$LAST_PACKAGE_RELEASE" =~ ^[1-9][0-9]*$ ]]; then
         PACKAGE_RELEASE=$LAST_PACKAGE_RELEASE
         log "Linux repair build: reusing package release $PACKAGE_RELEASE"
@@ -169,6 +175,7 @@ gpg --batch --armor --export "$GPG_KEY_ID" > "$RELEASE_DIR/repo-key.gpg"
 cat > "$RELEASE_DIR/LINUX-BUILD-INFO.txt" <<INFO
 app_version=$VERSION
 package_release=$PACKAGE_RELEASE
+packaging_revision=$PACKAGING_REVISION
 source_url=$SOURCE_REPO
 source_ref=$SOURCE_BRANCH
 source_commit=$SHA