mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-25 19:21:06 +00:00
indent: Ignore any changes in medias/
It is a submodule and we do not care about it Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/952>
This commit is contained in:
parent
a619f2cedf
commit
1ce9918808
1 changed files with 2 additions and 2 deletions
|
@ -361,10 +361,10 @@ gst indent:
|
|||
- indent --version || true
|
||||
- ./scripts/gst-indent-all
|
||||
- |
|
||||
if git diff --quiet; then
|
||||
if git diff --quiet -- ':!subprojects/gst-integration-testsuites/medias' .; then
|
||||
echo "Code is properly formatted"
|
||||
else
|
||||
git diff --color=always
|
||||
git diff --color=always -- ':!subprojects/gst-integration-testsuites/medias' .
|
||||
echo 'style diverges, please run gst-indent first'
|
||||
exit 1
|
||||
fi
|
||||
|
|
Loading…
Reference in a new issue