Commit d162a80e authored by Emmanuele Bassi's avatar Emmanuele Bassi

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.
parent 9bd7ecbd
......@@ -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",
From fbd151dba4398922b411730715e32b7c94abdf1e Mon Sep 17 00:00:00 2001
From: Emmanuele Bassi <>
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
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
- CC="\$(CC)" CXX="\$(CXX)" ${NINJA} ${NINJA_OPT}
+ CC="\$(CC)" CXX="\$(CXX)" GI_SCANNER_DEBUG=save-temps ${NINJA} ${NINJA_OPT}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment