Index: tests/pybin/tools.py
===================================================================
--- tests/pybin/tools.py	(revision 8c2896742a9a9e66f2a94e008e895e495f1e9329)
+++ tests/pybin/tools.py	(revision 8a0721379d57f7be4623d17c07fa10b51ce62e44)
@@ -376,5 +376,8 @@
 		return 1, "ERR No core dump"
 
-	return sh('gdb', '-n', path, core, '-batch', '-x', cmd, output_file=subprocess.PIPE)
+	try:
+		return sh('gdb', '-n', path, core, '-batch', '-x', cmd, output_file=subprocess.PIPE)
+	except:
+		return 1, "ERR Could not read core with gdb"
 
 def core_archive(dst, name, exe):