This commit is contained in:
Daniel Gröber 2018-01-22 01:22:58 +01:00
parent 5e48b2a73d
commit 6bf0ac7de8

View File

@ -164,7 +164,7 @@ runGmlTWith efnmns' mdf wrapper action = do
cfns <- mapM getCanonicalFileNameSafe ccfns cfns <- mapM getCanonicalFileNameSafe ccfns
let serfnmn = Set.fromList $ map Right mns ++ map Left cfns let serfnmn = Set.fromList $ map Right mns ++ map Left cfns
opts <- targetGhcOptions crdl serfnmn opts <- targetGhcOptions crdl serfnmn
let opts' = opts ++ ["-O0", "-fno-missing-home-modules"] ++ optGhcUserOptions let opts' = opts ++ ["-O0", "-fno-warn-missing-home-modules"] ++ optGhcUserOptions
gmVomit gmVomit
"session-ghc-options" "session-ghc-options"