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