[gnome-continuous] Add a hack to save the GIR temporary files

[Emmanuele Bassi <ebassi src gnome org>]

commit d162a80eede29d9e76d587da4b6eb8b3d3a1a851
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Wed Oct 4 00:25:21 2017 +0100

    Add a hack to save the GIR temporary files
    
    GNOME Shell has been failing all day, and we don't have enough state to
    debug it.

 manifest.json                      |    1 +
 patches/gnome-shell-gir-hack.patch |   27 +++++++++++++++++++++++++++
 2 files changed, 28 insertions(+), 0 deletions(-)
---
diff --git a/manifest.json b/manifest.json
index 63ed947..1a22291 100644
--- a/manifest.json
+++ b/manifest.json
@@ -1125,6 +1125,7 @@
                {"src": "gnome:gnome-power-manager"},
 
                {"src": "gnome:gnome-shell",
+                 "patches": ["gnome-shell-gir-hack.patch"],
                  "irc_room": "gnome-shell",
                 "config-opts": ["--enable-compile-warnings=maximum",
                                  "--disable-man"]},
diff --git a/patches/gnome-shell-gir-hack.patch b/patches/gnome-shell-gir-hack.patch
new file mode 100644
index 0000000..20dcc9e
--- /dev/null
+++ b/patches/gnome-shell-gir-hack.patch
@@ -0,0 +1,27 @@
+From fbd151dba4398922b411730715e32b7c94abdf1e Mon Sep 17 00:00:00 2001
+From: Emmanuele Bassi <ebassi gnome org>
+Date: Wed, 4 Oct 2017 00:22:43 +0100
+Subject: [PATCH] build: Save the temporary files for introspection
+
+This is a hack to understand why the build of GNOME Shell is failing in
+Continuous.
+---
+ configure | 2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+diff --git a/configure b/configure
+index f97374356..ae9b4bdda 100755
+--- a/configure
++++ b/configure
+@@ -114,7 +114,7 @@ cat > Makefile <<END
+ # Generated by configure; do not edit
+ 
+ all:
+-      CC="\$(CC)" CXX="\$(CXX)" ${NINJA} ${NINJA_OPT}
++      CC="\$(CC)" CXX="\$(CXX)" GI_SCANNER_DEBUG=save-temps ${NINJA} ${NINJA_OPT}
+ 
+ install:
+       DESTDIR="\$(DESTDIR)" ${NINJA} ${NINJA_OPT} install
+-- 
+2.13.5
+