crash harder (for compatibility with git merge drivers)
This commit is contained in:
parent
aea372a87d
commit
8241b556b1
2
Main.hs
2
Main.hs
|
|
@ -385,4 +385,4 @@ main = catch go bad
|
||||||
go = parseOpts >>= uncurry (flip runCmd)
|
go = parseOpts >>= uncurry (flip runCmd)
|
||||||
bad e = do
|
bad e = do
|
||||||
hPutStrLn stderr $ "fatal: " ++ displayException (e :: IOException)
|
hPutStrLn stderr $ "fatal: " ++ displayException (e :: IOException)
|
||||||
exitWith (ExitFailure 2)
|
exitWith (ExitFailure 129)
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue