diff options
| -rw-r--r-- | src/Main.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Main.hs b/src/Main.hs index 91b5e56e..73ddb1d9 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -101,7 +101,9 @@ handleGhcExceptions = hFlush stdout case e of PhaseFailed _ code -> exitWith code +#if ! MIN_VERSION_ghc(6,13,0) Interrupted -> exitFailure +#endif _ -> do print (e :: GhcException) exitFailure |