[gnome-shell/pot-ci] ci: Check that pot file is generated correctly

[Florian Müllner <fmuellner src gnome org>]

commit a5c9b55a546f703e379a4539202eea3d724c5068
Author: Florian Müllner <fmuellner gnome org>
Date:   Sat Feb 9 04:51:00 2019 +0100

    ci: Check that pot file is generated correctly
    
    This is to guard against the now infamous xgettext bug[0].
    
    [0] https://savannah.gnu.org/bugs/?50920#comment5

 .gitlab-ci.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 07c9144af..a26b0902a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -3,6 +3,7 @@ stages:
 
 variables:
     JS_LOG: "js-report.txt"
+    POT_LOG: "pot-update.txt"
 
 js_check:
     image: registry.fedoraproject.org/fedora:latest
@@ -16,3 +17,21 @@ js_check:
         paths:
             - ${JS_LOG}
         when: on_failure
+
+pot_check:
+    # Check that pot files are generated correctly:
+    # https://savannah.gnu.org/bugs/?50920#comment5
+    image: registry.gitlab.gnome.org/gnome/mutter/master:v1
+    stage: source_check
+    script:
+        - meson _meson
+        - ninja -C _meson gnome-shell-pot | awk '
+            BEGIN { start=0; }
+            start==1 { print $0; }
+            /gnome-shell-pot/ { start=1; }
+          ' | tee $POT_LOG
+        - (! grep -q . $POT_LOG)
+    artifacts:
+        paths:
+            - ${POT_LOG}
+        when: on_failure