On Wed, May 12, 2010 at 09:26:39AM -0700, David O'Brien wrote:
> On Tue, May 11, 2010 at 11:30:41AM -0700, Doug Barton wrote:
> > On 05/11/10 00:47, Emanuel Haupt wrote:
> > >
> > > Doug, the OPTIONS patch as you posted it on ports@ does not play so
> > > well with shells/bash-static. I've created shells/bash-static in order
> > > to have packages created by the build cluster.
> > Yeah, I forgot about that port, sorry. I can rework the patch easily
> > enough if there is interest.
> An OPTIONS patch would be find - as long as it isn't the default.
What's wrong with it being defaut? Batch builds will simply use the
defaults; having an explicit "options" file with required Makefile dances
looks bogus to me.