diff options
author | Ian Lynagh <igloo@earth.li> | 2008-12-11 17:01:04 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2008-12-11 17:01:04 +0000 |
commit | 422366027d23ed1d57902adaa9360e386fb6ae7c (patch) | |
tree | 9060ced375ce05750d660ec1aa7a725b36c42f94 /src | |
parent | 202f6995495614a329cb79c91a56384492239df3 (diff) |
Wrap the GHC usage with defaultCleanupHandler
This fixes a bug where haddock leaves /tmp/ghc* directories uncleaned.
Diffstat (limited to 'src')
-rw-r--r-- | src/Haddock/GHC.hs | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/Haddock/GHC.hs b/src/Haddock/GHC.hs index 0d047080..7856273e 100644 --- a/src/Haddock/GHC.hs +++ b/src/Haddock/GHC.hs @@ -52,12 +52,13 @@ startGhc libDir flags = do ghcLink = NoLink } dynflags''' <- parseGhcFlags dynflags'' restFlags flags -#if __GLASGOW_HASKELL__ >= 609 - setSessionDynFlags dynflags''' - ghcActs dynflags''' + defaultCleanupHandler dynflags''' $ do +#if __GLASGOW_HASKELL__ >= 609 + setSessionDynFlags dynflags''' + ghcActs dynflags''' #else - setSessionDynFlags session dynflags''' - return (session, dynflags''') + setSessionDynFlags session dynflags''' + return (session, dynflags''') #endif |