From 6540a9312de77a32d6e96c5c68e899f6179e67c8 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Mon, 24 Aug 2015 21:16:48 -0500
Subject: [PATCH] Don't print nonsense about failed kernels on
 KeyboardInterrupt

---
 loopy/check.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/loopy/check.py b/loopy/check.py
index 3401f7b8d..01a6e52c2 100644
--- a/loopy/check.py
+++ b/loopy/check.py
@@ -373,6 +373,8 @@ def pre_schedule_checks(kernel):
         check_write_destinations(kernel)
 
         logger.info("pre-schedule check %s: done" % kernel.name)
+    except KeyboardInterrupt:
+        raise
     except:
         print(75*"=")
         print("failing kernel during pre-schedule check:")
-- 
GitLab