mirror of https://github.com/ARMmbed/mbed-os.git
Skip files that were deleted
parent
0190e3eab5
commit
2f6a8a2cc0
|
@ -141,10 +141,10 @@ matrix:
|
||||||
- astyle --version
|
- astyle --version
|
||||||
script:
|
script:
|
||||||
- >-
|
- >-
|
||||||
git diff --name-only HEAD..${TRAVIS_BRANCH} \
|
git diff --name-only --diff-filter=d HEAD..${TRAVIS_BRANCH} \
|
||||||
| ( grep '.\(c\|cpp\|h\|hpp\)$' || true ) \
|
| ( grep '.\(c\|cpp\|h\|hpp\)$' || true ) \
|
||||||
| while read file; do astyle -n --options=.astylerc "${file}"; done
|
| while read file; do astyle -n --options=.astylerc "${file}"; done
|
||||||
- git diff --exit-code --color
|
- git diff --exit-code --diff-filter=d --color
|
||||||
|
|
||||||
- env:
|
- env:
|
||||||
- NAME=events
|
- NAME=events
|
||||||
|
|
Loading…
Reference in New Issue