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

[Adrien Plazas <aplazas src gnome org>]

commit 72420c0030eca8fdb3d6b3ef1795eaf1a577e2df
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 | 9 +++++++++
 1 file changed, 9 insertions(+)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e05b1b5..72c5a04 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -13,6 +13,15 @@ api-visibility:
         echo "Private headers shouldn't be included in public ones.";
         exit 1;
       fi
+    # Check that retro-gtk.h contains all the public headers.
+    - 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"