diff options
Diffstat (limited to 'driver/ghc-usage.txt')
| -rw-r--r-- | driver/ghc-usage.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/ghc-usage.txt b/driver/ghc-usage.txt index 0b56db7419..1ea8e7d417 100644 --- a/driver/ghc-usage.txt +++ b/driver/ghc-usage.txt @@ -50,7 +50,7 @@ Other commonly-used options are: -O An `optimising' package of compiler flags, for faster code -prof Compile for cost-centre profiling - (add -auto-all for automagic cost-centres on all + (add -fprof-auto for automagic cost-centres on all top-level functions) -H14m Increase compiler's heap size (might make compilation |