From 07e06f2e67518dd0db10ecd1115a2ac00249af53 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 5 Mar 2009 11:27:26 +0000 Subject: [PATCH] remove foo.exe.manifest when --embed-manifest is on --- compiler/main/DriverPipeline.hs | 2 ++ 1 file changed, 2 insertions(+) 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 -- 1.7.10.4