From 9e97a520e4ff2f870d5e490a72fdace2ff0206f7 Mon Sep 17 00:00:00 2001
From: Leonid Pliushch <leonid.pliushch@gmail.com>
Date: Thu, 23 Jan 2020 22:09:22 +0200
Subject: [PATCH] CI: allow to use customized Docker image

Necessary to handle cases where setup scripts were changed
during push or pull request.
---
 .github/workflows/packages.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/packages.yml b/.github/workflows/packages.yml
index 1fced6f58..68b8a1e32 100644
--- a/.github/workflows/packages.yml
+++ b/.github/workflows/packages.yml
@@ -41,6 +41,12 @@ jobs:
           echo "Processing pull request #$(jq --raw-output .pull_request.number "$GITHUB_EVENT_PATH"): ${BASE_COMMIT}..HEAD"
           CHANGED_FILES=$(git diff-tree --no-commit-id --name-only -r "${BASE_COMMIT}" "HEAD")
         fi
+        if grep -qP '^scripts/(Dockerfile|setup-ubuntu\.sh)$' <<< "$CHANGED_FILES"; then
+          echo "Detected changes for environment setup scripts. Building custom Docker image now."
+          cd ./scripts
+          docker build -t termux/package-builder:latest .
+          cd ..
+        fi
         PACKAGE_NAMES=$(sed -nE 's@^packages/([^/]*)/([^/]*)(/.*)?$@\1@p' <<< "$CHANGED_FILES" | sort | uniq)
         for pkg in $PACKAGE_NAMES; do
           if [ ! -d "./packages/${pkg}" ]; then