commit 823a2585df9236928c40a61cb44d1ae42ede83a0
author Michael Schaffner <msf@google.com> Mon May 11 15:39:15 2020 -0700
committer Philipp Wagner <mail@philipp-wagner.com> Tue May 12 18:14:32 2020 +0100
tree ba36be6455332e0cedeb629f31a3b6a5d962774f
parent 09a5791b1daacf390aa1f31d7f5d5d069b50753b

[ci] Filter out deleted files in include guard check

Signed-off-by: Michael Schaffner <msf@google.com>

azure-pipelines.yml

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 42e630e..1cb5092 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -86,12 +86,13 @@
         fi
       fi
     # This check is not idempotent, but checks changes to a base branch.
-    # Run it only on pull requests.
+    # Run it only on pull requests. Note that the git diff filter (ACMRTUXB) omits
+    # files that are deleted in a PR, since those break the checker script below.
     condition: eq(variables['Build.Reason'], 'PullRequest')
     displayName: Use clang-format to check C/C++ coding style
   - bash: |
       fork_origin="$(git merge-base --fork-point origin/master)"
-      changed_files="$(git diff --name-only "$fork_origin")"
+      changed_files="$(git diff --name-only --diff-filter=ACMRTUXB "$fork_origin")"
       if [[ -n "$changed_files" ]]; then
         xargs util/fix_include_guard.py --dry-run <<< "$changed_files" | tee fix-include-guard-output
         if [[ -s fix-include-guard-output ]]; then