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

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

commit 4de6928d7460e062338c966e28bae3352b5ccdd4
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 | 10 ++++++++++
 1 file changed, 10 insertions(+)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f1f361cb7..b08dc67fe 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,6 +4,7 @@ stages:
 
 variables:
     JS_LOG: "js-report.txt"
+    POT_LOG: "pot-update.txt"
 
 js_check:
     image: registry.fedoraproject.org/fedora:latest
@@ -41,3 +42,12 @@ build:
         - meson . build -Dbuiltype=debugoptimized
         - ninja -C build
         - ninja -C build install
+
+        # 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)