[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.

diff --git a/ghc/driver/ghc.lprl b/ghc/driver/ghc.lprl
index 3086d14..d6bf89f 100644 (file)
--- 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";
     }