ci: (fixes #830) skip clang-tidy-diff for non-sources locations

This commit is contained in:
Tommaso Pecorella
2022-12-22 01:49:10 +01:00
parent 5c8b820b7b
commit 4847bf6d2d

View File

@@ -79,6 +79,7 @@ clang-tidy-diff:
- git fetch upstream master
- git diff -U0 upstream/master |
clang-tidy-diff-14.py -path cmake-cache/ -p1 -quiet
-iregex "(contrib|examples|src|scratch|utils)\/.+\.(cpp|cc|cxx|c|h|hpp)"
1> $CLANG_TIDY_OUTPUT
2> /dev/null
- if egrep -A 3 "file not found \[clang-diagnostic-error\]" $CLANG_TIDY_OUTPUT ; then