
1 Sep
2007
1 Sep
'07
8:53 p.m.
On Sat, Sep 01, 2007 at 05:33:26PM -0700, Duncan Coutts wrote:
Sat Sep 1 17:33:34 PDT 2007 Duncan Coutts
* Change --configure-option= to --configure-arg= For consitency with other flags.
Also --ghc-option for build and makefile. These are used by GHC only; I wonder if the configure option would be a substitute. I forgot that the file format includes XXX-options fields, which might be a source of confusion.