[gnome-shell/wip/fmuellner/more-ci: 5/5] ci: Check that pot file is generated correctly

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

commit e15e59cce6861a411a1d957aef094b66f341733d
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
    
    https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/408

 .gitlab-ci.yml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7ee92447f..c0c03bf4f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,6 +5,7 @@ stages:
 
 variables:
     JS_LOG: "js-report.txt"
+    POT_LOG: "pot-update.txt"
 
 js_check:
     image: registry.fedoraproject.org/fedora:latest
@@ -60,3 +61,18 @@ test:
         paths:
             - build/meson-logs/testlog.txt
         when: on_failure
+
+test-pot:
+    image: registry.gitlab.gnome.org/gnome/gnome-shell/master:v1
+    stage: test
+    before_script:
+        - ninja -C mutter/build install
+    script:
+        # Check that pot files are generated correctly:
+        # https://savannah.gnu.org/bugs/?50920#comment5
+        - ninja -C build gnome-shell-pot 2>&1 | awk '
+            BEGIN { start=0; }
+            start==1 { print $0; }
+            /gnome-shell-pot/ { start=1; }
+          ' | tee $POT_LOG
+        - (! grep -q . $POT_LOG)