On Thu, Oct 23, 2008 at 09:30:59PM -0700, Trent W. Buck wrote: > I expect this to annoy a lot of people, so I'm sending it separately. > Basically what it means is that by default you get > > $ make > ghc [lots of arguments] -ofoo.o foo.hs > > And to get the current behaviour you do > > $ make --quiet > [ghc] foo.o > > I don't care strongly about this, so unless people jump up and say > "wow, that's cool!' I'll just throw this patch away. > > Fri Oct 24 15:27:22 EST 2008 Trent W. Buck <[EMAIL PROTECTED]> > * Opt-in to terse ghc with --silent, rather than opt-out with VERBOSE=1.
I think the default terse is nice. David _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
