diff options
| -rw-r--r-- | ghc/compiler/main/DriverPipeline.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ghc/compiler/main/DriverPipeline.hs b/ghc/compiler/main/DriverPipeline.hs index 345252fbc9..1821edee38 100644 --- a/ghc/compiler/main/DriverPipeline.hs +++ b/ghc/compiler/main/DriverPipeline.hs @@ -1,5 +1,5 @@ ----------------------------------------------------------------------------- --- $Id: DriverPipeline.hs,v 1.80 2001/06/15 15:15:33 simonmar Exp $ +-- $Id: DriverPipeline.hs,v 1.81 2001/06/25 01:35:07 sof Exp $ -- -- GHC Driver -- @@ -799,7 +799,7 @@ doLink o_files = do ++ pkg_lib_opts ++ pkg_extra_ld_opts ++ extra_ld_opts - ++ if static then + ++ if static && not no_hs_main then #ifdef LEADING_UNDERSCORE [ "-u _PrelMain_mainIO_closure" , "-u ___init_PrelMain"] |