From 49fdfea42092837c8a97897826822ec38fc1436c Mon Sep 17 00:00:00 2001
From: Peter Hutterer <peter.hutterer@who-t.net>
Date: Mon, 18 Oct 2021 09:32:17 +1000
Subject: [PATCH] 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.
---
 .gitlab-ci.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 9cb944a3d..b1e989c88 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -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