patch applied (cabal): Change --configure-option= to
duncan.coutts at worc.ox.ac.uk
Sun Sep 2 09:38:43 EDT 2007
On Sun, 2007-09-02 at 14:09 +0100, Ross Paterson wrote:
> > > I forgot that the file format includes XXX-options fields, which might
> > > be a source of confusion.
> > Mm, good point. We can't change those of course. What do you think we
> > should do?
> I think it argues for --PROG-option(s). The -args options weren't
> documented, so they didn't exist.
More information about the cabal-devel