From bf5bace92ea6ea0ab227f27cdfce245b5969dea9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonas=20Sch=C3=A4fer?= Date: Sun, 14 Jun 2020 15:34:20 +0200 Subject: [PATCH] ci: do not include deleted files in the changed builds --- tools/ci-changed-builds.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ci-changed-builds.sh b/tools/ci-changed-builds.sh index d7e34829..df7f50c0 100755 --- a/tools/ci-changed-builds.sh +++ b/tools/ci-changed-builds.sh @@ -1,7 +1,7 @@ #!/bin/bash set -euo pipefail IFS=$'\n' -filenames="$(git diff-tree -r --no-commit-id --name-only HEAD "$1" | ( grep -P '^(xep-[0-9]{4}|inbox/[^/]+)\.xml$' || true))" +filenames="$(git diff-tree -r --no-commit-id --name-status "$1" HEAD | ( grep -P '^[AM]\t(xep-[0-9]{4}|inbox/[^/]+)\.xml$' || true) | cut -f2)" if [ -z "$filenames" ]; then exit 0 fi