diff options
| author | Ian Lynagh <igloo@earth.li> | 2009-06-10 12:46:11 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2009-06-10 12:46:11 +0000 |
| commit | d1df0c600a5191df08e28b3f1eaa371deba45d5e (patch) | |
| tree | 21f01c8d7987709be1ae5d7e75a3595c6acfa305 | |
| parent | ad379ff7e22681c09ec7b50bc00d2d6cd3ae3263 (diff) | |
| download | haskell-d1df0c600a5191df08e28b3f1eaa371deba45d5e.tar.gz | |
Change GHC_OPTIONS to OPTIONS_GHC
| -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>, |