From bbc5260c1218d6badcb94d60d17f0fd1afc1190e Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Tue, 14 Mar 2000 01:57:18 +0000
Subject: [PATCH] [project @ 2000-03-14 01:57:18 by sof] mingw32: do as for
 cygwin platforms & default the name of the generated binary
 to main.exe if -o <...> isn't given.

---
 ghc/driver/ghc.lprl |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ghc/driver/ghc.lprl b/ghc/driver/ghc.lprl
index 3086d14..d6bf89f 100644
--- a/ghc/driver/ghc.lprl
+++ b/ghc/driver/ghc.lprl
@@ -1860,7 +1860,8 @@ sub runLinker
     local($lnkr) = ( $Lnkr ) ? $Lnkr : $CcRegd;
 
     if ( ($Specific_output_file eq '') && 
-         ($TargetPlatform eq 'i386-unknown-cygwin32') ) {
+         ( ($TargetPlatform eq 'i386-unknown-cygwin32') ||
+	   ($TargetPlatform eq 'i386-unknown-mingw32')) ) {
          $Specific_output_file = 'main.exe';
          print STDERR "Output file not specified, defaulting to \"main.exe\"\n";
     }
-- 
1.7.10.4