diff options
| -rw-r--r-- | driver/ghc-usage.txt | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/driver/ghc-usage.txt b/driver/ghc-usage.txt index 4eda2c1724..239b4540d8 100644 --- a/driver/ghc-usage.txt +++ b/driver/ghc-usage.txt @@ -47,8 +47,6 @@ Other commonly-used options are: -v[n] Control verbosity (n is 0--5, normal verbosity level is 1, -v alone is equivalent to -v3) - -fglasgow-exts Allow Glasgow extensions (unboxed types, etc.) - -O An `optimising' package of compiler flags, for faster code -prof Compile for cost-centre profiling |