remove foo.exe.manifest when --embed-manifest is on
authorSimon Marlow <marlowsd@gmail.com>
Thu, 5 Mar 2009 11:27:26 +0000 (11:27 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 5 Mar 2009 11:27:26 +0000 (11:27 +0000)
compiler/main/DriverPipeline.hs

index 4eccce3..3daa76e 100644 (file)
@@ -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