diff options
| -rw-r--r-- | ghc/driver/ghc.lprl | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/ghc/driver/ghc.lprl b/ghc/driver/ghc.lprl index 8951f16ad4..b9d4ef2f1f 100644 --- a/ghc/driver/ghc.lprl +++ b/ghc/driver/ghc.lprl @@ -228,7 +228,6 @@ sub setupOptFlags { $Oopt_FinalStgProfilingMassage = ''; $Oopt_StgStats = ''; $Oopt_DoSpecialise = '-fspecialise'; - $Oopt_DoCpr = '-fcpr-analyse'; $Oopt_FoldrBuild = 0; # *Off* by default! $Oopt_UsageSPInf = ''; # Off by default } # end of setupOptFlags @@ -767,7 +766,7 @@ sub setupOptimiseFlags { '-fstrictness', - $Oopt_DoCpr, + '-fcpr-analyse', '-fworker-wrapper', '-fsimplify', @@ -3087,9 +3086,6 @@ arg: while($_ = $Args[0]) { /^-fno-speciali[sz]e$/ && do { $Oopt_DoSpecialise = ''; next arg; }; - /^-fno-cpr$/ - && do { $Oopt_DoCpr = ''; next arg; }; - /^-fusagesp$/ && do { $Oopt_UsageSPInf = '-fusagesp'; push (@HsC_flags, '-fusagesp-on'); next arg; }; |