mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-12-19 14:56:36 +00:00
ci: use gst-indent from docker image
Part-of: <https://gitlab.freedesktop.org/gstreamer/gst-ci/-/merge_requests/318>
This commit is contained in:
parent
b6ccc2169f
commit
dbc4ca1b2f
1 changed files with 1 additions and 3 deletions
|
@ -337,9 +337,7 @@ gst indent:
|
|||
script:
|
||||
# man indent. grep RETURN VALUE, grab a beer on my behalf...
|
||||
- indent --version || true
|
||||
- curl -L -o gst-indent https://gitlab.freedesktop.org/gstreamer/gstreamer/raw/${GST_UPSTREAM_BRANCH}/tools/gst-indent
|
||||
- chmod +x gst-indent
|
||||
- find . -name '*.c' -exec ./gst-indent {} +
|
||||
- find . -name '*.c' -exec gst-indent {} +
|
||||
- |
|
||||
if git diff --quiet; then
|
||||
echo "Code is properly formatted"
|
||||
|
|
Loading…
Reference in a new issue