diff options
| -rw-r--r-- | compiler/main/DriverPipeline.hs | 2 | ||||
| -rw-r--r-- | docs/users_guide/6.6-notes.xml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/compiler/main/DriverPipeline.hs b/compiler/main/DriverPipeline.hs index c8cf4c9a80..5a7e78d860 100644 --- a/compiler/main/DriverPipeline.hs +++ b/compiler/main/DriverPipeline.hs @@ -491,7 +491,7 @@ data PipelineOutput -- at which stage to stop. -- -- The DynFlags can be modified by phases in the pipeline (eg. by --- GHC_OPTIONS pragmas), and the changes affect later phases in the +-- OPTIONS_GHC pragmas), and the changes affect later phases in the -- pipeline. runPipeline :: GhcMonad m => diff --git a/docs/users_guide/6.6-notes.xml b/docs/users_guide/6.6-notes.xml index bd4561960e..a04b99e4c0 100644 --- a/docs/users_guide/6.6-notes.xml +++ b/docs/users_guide/6.6-notes.xml @@ -132,7 +132,7 @@ The following flags (and, where appropriate, their inverses) used to be static (can only be given on the command line) but are now dynamic (can also be given in - a <literal>GHC_OPTIONS</literal> pragma or with + an <literal>OPTIONS_GHC</literal> pragma or with <literal>:set</literal> in GHCi): <option>-c</option>, <option>-hcsuf</option>, |