From 52f0da692bca365a25dd1323c267c88211ceba38 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Thu, 10 May 2012 00:34:09 -0400
Subject: [PATCH] Compiled: Don't flag KeyboardInterrupt as a build failure.

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

diff --git a/loopy/compiled.py b/loopy/compiled.py
index f2ac06851..1ce7d3ac9 100644
--- a/loopy/compiled.py
+++ b/loopy/compiled.py
@@ -86,6 +86,8 @@ class CompiledKernel:
             self.cl_kernel = getattr(
                     self.cl_program.build(options=options),
                     kernel.name)
+        except KeyboardInterrupt:
+            raise
         except:
             print "[Loopy] ----------------------------------------------------"
             print "[Loopy] build failed, here's the source code:"
-- 
GitLab