From: Simon Marlow Date: Tue, 4 Sep 2007 10:06:23 +0000 (+0000) Subject: OPTIONS_GHC overrides the command-line, not the other way around X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=fa92f5d1bd8ac27780a3e7b1a2d536b7eb76235b;p=ghc-hetmet.git OPTIONS_GHC overrides the command-line, not the other way around --- diff --git a/docs/users_guide/using.xml b/docs/users_guide/using.xml index 9df6eb5..f361548 100644 --- a/docs/users_guide/using.xml +++ b/docs/users_guide/using.xml @@ -73,10 +73,9 @@ module X where maintains internally, so you'll be desperately disappointed if you try to glob etc. inside OPTIONS_GHC. - NOTE: the contents of OPTIONS_GHC are prepended to the - command-line options, so you do have the - ability to override OPTIONS_GHC settings via the command - line. + NOTE: the contents of OPTIONS_GHC are appended to the + command-line options, so options given in the source file + override those given on the command-line. It is not recommended to move all the contents of your Makefiles into your source files, but in some circumstances, the