From fa92f5d1bd8ac27780a3e7b1a2d536b7eb76235b Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Tue, 4 Sep 2007 10:06:23 +0000 Subject: [PATCH] OPTIONS_GHC overrides the command-line, not the other way around --- docs/users_guide/using.xml | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) 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 -- 1.7.10.4