From 659e170888ddaeb2e5060a7311a5b9e3fae87687 Mon Sep 17 00:00:00 2001
From: Sergio Durigan Junior <sergiodj@sergiodj.net>
Date: Wed, 4 Feb 2015 23:21:32 -0500
Subject: [PATCH] Improving reporting of timeout git

---
 master.cfg | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/master.cfg b/master.cfg
index 0f55c6a..7dd8798 100644
--- a/master.cfg
+++ b/master.cfg
@@ -184,8 +184,10 @@ send to the gdb-testers mailing list."""
         st = log.getStep ()
         if st.getResults ()[0] == FAILURE:
             n = st.getName ()
-            if n == 'update gdb master repo' or n == 'update gdb repo':
-                text += "*** Failed to update GDB git repository.  This is probably a timeout problem with sourceware. ***\n"
+            if n == 'update gdb master repo':
+                text += "*** Failed to update master GDB git repository.  The build can continue. ***\n\n"
+            elif  or n == 'update gdb repo':
+                text += "*** Failed to update GDB git repository.  This is probably a timeout problem. ***\n\n"
                 break
             elif n == 'configure gdb':
                 text += "*** Failed to configure GDB. ***\n"