From 80ccf8296b0e1b43cebce89fc29fc9a6cbfe8318 Mon Sep 17 00:00:00 2001
From: Sergio Durigan Junior <sergiodj@sergiodj.net>
Date: Mon, 10 Aug 2015 16:08:55 -0400
Subject: [PATCH] Checking for 'No space left on device' errors

---
 master.cfg | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/master.cfg b/master.cfg
index f432c9e..97f0a18 100644
--- a/master.cfg
+++ b/master.cfg
@@ -300,7 +300,11 @@ send to the gdb-testers mailing list."""
         st = log.getStep ()
         if st.getResults ()[0] == FAILURE:
             n = st.getName ()
-            if n == 'update gdb master repo':
+            if 'No space left on device' in log.getText ():
+                text += "*** Internal error on buildslave (no space left on device). ***\n"
+                text += "*** Please report this to the buildslave owner (see <%s/buildslaves/%s>) ***\n\n" % (master_status.getBuildbotURL (), build.getSlavename ())
+                continue
+            elif n == 'update gdb master repo':
                 text += "*** Failed to update master GDB git repository.  The build can continue. ***\n\n"
                 continue
             elif n == 'update gdb repo':