Index: tests/pybin/tools.py
===================================================================
--- tests/pybin/tools.py	(revision 44856edf2e65daf51c0bc39fe8f674cd056b4fce)
+++ tests/pybin/tools.py	(revision e75b753b930da85fcaf3019b41f027d3a0c102a5)
@@ -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):