From: Simon Marlow Date: Thu, 5 Mar 2009 11:27:26 +0000 (+0000) Subject: remove foo.exe.manifest when --embed-manifest is on X-Git-Tag: 2009-03-13~21 X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=07e06f2e67518dd0db10ecd1115a2ac00249af53 remove foo.exe.manifest when --embed-manifest is on --- diff --git a/compiler/main/DriverPipeline.hs b/compiler/main/DriverPipeline.hs index 4eccce3..3daa76e 100644 --- a/compiler/main/DriverPipeline.hs +++ b/compiler/main/DriverPipeline.hs @@ -1520,6 +1520,8 @@ maybeCreateManifest dflags exe_filename = do -- no FileOptions here: windres doesn't like seeing -- backslashes, apparently + removeFile manifest_filename + return [rc_obj_filename] #endif