[retro-gtk/header-fixes: 2/2] ci: Check that retro-gtk.h contains public headers

[Adrien Plazas <aplazas src gnome org>]

commit 9d5698c725520981b337ef32f8f456688166d529
Author: Adrien Plazas <kekun plazas laposte net>
Date:   Sat Jan 11 16:50:42 2020 +0100

    ci: Check that retro-gtk.h contains public headers
    
    This will check we don't accidentally forget to add public headers to
    public retro-gtk.h.

 .gitlab-ci.yml | 8 ++++++++
 1 file changed, 8 insertions(+)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f1e9471..d9ebc15 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -12,6 +12,14 @@ api-visibility:
         echo "Private headers shouldn't be included in public ones.";
         exit 1;
       fi
+    - for header in $(find retro-gtk -name "*.h" -printf "%f\n" | grep -v private | grep -v retro-gtk.h);
+      do
+        if ! grep -q "$header" retro-gtk/retro-gtk.h;
+        then
+          echo "The public header" $header "should be included in retro-gtk.h.";
+          exit 1;
+        fi;
+      done
 
 variables:
   BUNDLE: "retro-demo-samples-test-git.flatpak"