mirror of
https://gitlab.freedesktop.org/pipewire/media-session.git
synced 2026-05-08 05:48:04 +02:00
ci: add a job to check reserve.{c|h} from PipeWire
This file is used by the Media Session plugin and by the pw-reserve tool. Add a job here so where our file differs from the PipeWire one, we get a warning in the CI.
This commit is contained in:
parent
7502e044c3
commit
49fdfea420
1 changed files with 12 additions and 0 deletions
|
|
@ -222,6 +222,18 @@ build_with_coverity:
|
|||
- build-*/meson-logs
|
||||
- cov-int/build-log.txt
|
||||
|
||||
reserve.c sync:
|
||||
extends:
|
||||
- .build_on_fedora
|
||||
stage: analysis
|
||||
script:
|
||||
- >-
|
||||
curl https://gitlab.freedesktop.org/pipewire/pipewire/-/raw/master/src/tools/reserve.c > src/reserve.c
|
||||
- >-
|
||||
curl https://gitlab.freedesktop.org/pipewire/pipewire/-/raw/master/src/tools/reserve.h > src/reserve.h
|
||||
- git diff --exit-code || echo "WARNING - reserve.{c|h} should be kept in sync with PipeWire" && exit 1
|
||||
allow_failure: true
|
||||
|
||||
spellcheck:
|
||||
extends:
|
||||
- .build_on_fedora
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue