mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-12-24 17:20:36 +00:00
ci_template: Add a gst-indent job
This commit is contained in:
parent
597544cd61
commit
9e8d215f90
1 changed files with 24 additions and 0 deletions
|
@ -34,6 +34,30 @@ manifest:
|
||||||
paths:
|
paths:
|
||||||
- "manifest.xml"
|
- "manifest.xml"
|
||||||
|
|
||||||
|
gst indent:
|
||||||
|
image: 'registry.freedesktop.org/gstreamer/gst-ci/amd64/gst-indent:6f7e01e1e30a73efa880acdc8e911f1f20c58dbb'
|
||||||
|
stage: 'preparation'
|
||||||
|
variables:
|
||||||
|
GIT_STRATEGY: 'fetch'
|
||||||
|
script:
|
||||||
|
# man indent. grep RETURN VALUE, grab a beer on my behalf...
|
||||||
|
- indent --version || true
|
||||||
|
- curl -o gst-indent https://gitlab.freedesktop.org/gstreamer/gstreamer/raw/master/tools/gst-indent
|
||||||
|
- chmod +x gst-indent
|
||||||
|
- ./gst-indent $(find . -name "*.c")
|
||||||
|
- |
|
||||||
|
if [[ $(git diff) ]]; then
|
||||||
|
git diff --color=always
|
||||||
|
echo 'style diverges, please run gst-indent first'
|
||||||
|
exit 1
|
||||||
|
else
|
||||||
|
echo "Code is properly formatted"
|
||||||
|
fi
|
||||||
|
except:
|
||||||
|
variables:
|
||||||
|
# No point on trying to format C files in those repositories
|
||||||
|
- $CI_PROJECT_NAME == "gstreamer-sharp"
|
||||||
|
|
||||||
.build:
|
.build:
|
||||||
stage: 'full builds'
|
stage: 'full builds'
|
||||||
dependencies:
|
dependencies:
|
||||||
|
|
Loading…
Reference in a new issue