OPTIONS_GHC overrides the command-line, not the other way around
authorSimon Marlow <simonmar@microsoft.com>
Tue, 4 Sep 2007 10:06:23 +0000 (10:06 +0000)
committerSimon Marlow <simonmar@microsoft.com>
Tue, 4 Sep 2007 10:06:23 +0000 (10:06 +0000)
commitfa92f5d1bd8ac27780a3e7b1a2d536b7eb76235b
treed079dc8d6761fe0c74ed551cbe86dfdb19d1a8ea
parentbcf84370d520d4cfe3fe55173464c5de110e5b83
OPTIONS_GHC overrides the command-line, not the other way around
docs/users_guide/using.xml